Module EdosSolver


module EdosSolver: sig .. end
Edos sat solver

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