Module type EdosSolver.S

module type S = sig .. end
generic failure reason

type reason