Module Il.Eq

val eq_id : string Util.Source.phrase -> string Util.Source.phrase -> bool
val eq_mixop : Domain.Mixfix.mixop -> Domain.Mixfix.mixop -> bool
val eq_iter : Lang__Il__.Ast.iter -> Lang__Il__.Ast.iter -> bool
val eq_iters : Lang__Il__.Ast.iter list -> Lang__Il__.Ast.iter list -> bool
val eq_var : (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) -> (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) -> bool
val eq_vars : (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list -> (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list -> bool
val eq_typ : Lang__Il__.Ast.typ' Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase -> bool
val eq_typs : Lang__Il__.Ast.typ' Util.Source.phrase list -> Lang__Il__.Ast.typ' Util.Source.phrase list -> bool
val eq_nottyp : Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase Domain.Mixfix.t Util.Source.phrase -> bool
val eq_value : ?dbg:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase -> bool
val eq_values : ?dbg:??? -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase list -> (Lang__Il__.Ast.value', Lang__Il__.Ast.vnote) Util.Source.note_phrase list -> bool
val eq_exp : (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase -> (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase -> bool
val eq_exp' : Lang__Il__.Ast.exp' -> Lang__Il__.Ast.exp' -> bool
val eq_exps : (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase list -> (Lang__Il__.Ast.exp', Lang__Il__.Ast.typ') Util.Source.note_phrase list -> bool
val eq_iterexp : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> bool
val eq_iterexps : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> bool
val eq_pattern : Lang__Il__.Ast.pattern -> Lang__Il__.Ast.pattern -> bool
val eq_path : (Lang__Il__.Ast.path', Lang__Il__.Ast.typ') Util.Source.note_phrase -> (Lang__Il__.Ast.path', Lang__Il__.Ast.typ') Util.Source.note_phrase -> bool
val eq_tparam : string Util.Source.phrase -> string Util.Source.phrase -> bool
val eq_tparams : string Util.Source.phrase list -> string Util.Source.phrase list -> bool
val eq_arg : Lang__Il__.Ast.arg' Util.Source.phrase -> Lang__Il__.Ast.arg' Util.Source.phrase -> bool
val eq_args : Lang__Il__.Ast.arg' Util.Source.phrase list -> Lang__Il__.Ast.arg' Util.Source.phrase list -> bool
val eq_targ : Lang__Il__.Ast.typ' Util.Source.phrase -> Lang__Il__.Ast.typ' Util.Source.phrase -> bool
val eq_targs : Lang__Il__.Ast.typ' Util.Source.phrase list -> Lang__Il__.Ast.typ' Util.Source.phrase list -> bool
val eq_prem : Lang__Il__.Ast.prem' Util.Source.phrase -> Lang__Il__.Ast.prem' Util.Source.phrase -> bool
val eq_iterprem : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) -> bool
val eq_iterprems : (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> (Lang__Il__.Ast.iter * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list * (string Util.Source.phrase * Lang__Il__.Ast.typ' Util.Source.phrase * Lang__Il__.Ast.iter list) list) list -> bool