Module type EdosSolver.S

generic failure reason

type reason