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