Module Make_pure_sat.Term
type t= Msat.Solver_intf.void
val equal : t -> t -> boolval hash : t -> intval pp : t Msat.Solver_intf.printer
Make_pure_sat.Termtype t = Msat.Solver_intf.voidval equal : t -> t -> boolval hash : t -> intval pp : t Msat.Solver_intf.printer