Module type EdosSolver.S


module type S = sig .. end
generic failure reason

type reason