Module Make_mcsat.Term
type t= Plugin.Term.t
val equal : t -> t -> boolval hash : t -> intval pp : t Msat.Solver_intf.printer
Make_mcsat.Termtype t = Plugin.Term.tval equal : t -> t -> boolval hash : t -> intval pp : t Msat.Solver_intf.printer