Module Fact.Equal


module Equal: sig  end
Equality Facts


type t = Term.t * Term.t * Jst.t
val lhs_of : t -> Term.t
Parameters:
? : t
val rhs_of : t -> Term.t
Parameters:
? : t
val pp : t Pretty.printer
Parameters:
fmt : Format.formatter
(a,b,rho) : Term.t * Term.t * Jst.t
val make : Term.t -> Term.t -> Jst.t -> t
Parameters:
a : Term.t
b : Term.t
rho : Jst.t
val both_sides : (Term.t -> bool) -> t -> bool
Parameters:
p : Term.t -> bool
? : t
val is_var : t -> bool
Parameters:
? : t
val is_pure : Th.t -> t -> bool
Parameters:
i : Th.t
? : t
val status : t -> Term.status
Parameters:
? : t
val map2 : Jst.Eqtrans.t * Jst.Eqtrans.t -> t -> t
Parameters:
(f,g) : Jst.Eqtrans.t * Jst.Eqtrans.t
? : t
val map : Jst.Eqtrans.t -> t -> t
Parameters:
f : Jst.Eqtrans.t
? : t
val map_lhs : Jst.Eqtrans.t -> t -> t
Parameters:
f : Jst.Eqtrans.t
? : t
val map_rhs : Jst.Eqtrans.t -> t -> t
Parameters:
f : Jst.Eqtrans.t
? : t