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