Module `Msat__.Internal`

module type PLUGIN = sig ... end

val invalid_argf : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

module Make : functor (Plugin : PLUGIN) -> sig ... end

module Void_ : sig ... end

module Make_cdcl_t : functor (Plugin : Msat.Solver_intf.PLUGIN_CDCL_T) -> sig ... end

module Make_mcsat : functor (Plugin : Msat.Solver_intf.PLUGIN_MCSAT) -> sig ... end

module Make_pure_sat : functor (Plugin : Msat.Solver_intf.PLUGIN_SAT) -> sig ... end