module Sat_solver: sig .. end
sig
end
include Sat_solver_intf
module Make: functor (Dummy : sigend) -> S
functor (
Dummy
:
) ->
S
val set_compact : bool -> unit
bool -> unit