Module Enumsolver (.ml)

module Enumsolver: sig .. end

exception Sat

exception Unsat of Enumsolver_types.clause list

module Make: 
functor (Dummy : sig

end) -> sig .. end