Functor Sat_solver.Make

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