Module Solver (.ml)

module Solver: sig .. end

exception Sat

exception Unsat of Solver_types.clause list

module Make: 
functor (Dummy : sig

end) -> sig .. end