Module Sat_solver

module Sat_solver: sig .. end

include Sat_solver_intf

module Make: 
functor (Dummy : sig
end) -> S