Dose_common.EdosSolver
Edos sat solver
module type S = sig ... end
generic failure reason
module type T = sig ... end
Sat solver functor type
module M (X : S) : T with module X = X
functor