Module Common.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