Module EdosSolver.T.X


module X: EdosSolver.S 
generic failure reason

type reason