Module Common.EdosSolver.T.X

module X: Common.EdosSolver.S 
generic failure reason

type reason