Module 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