Module Term.Equal

module Equal: sig  end

val lhs : t -> Term.trm

val rhs : t -> Term.trm

val make : Term.trm * Term.trm -> t

val destruct : t -> Term.trm * Term.trm

val pp : t Pretty.printer

val compare : t -> t -> int

val is_var : t -> bool

val is_pure : Th.t -> t -> bool