Module EdosSolver.T.X

module X: EdosSolver.S 
generic failure reason

type reason