Module type Common.EdosSolver.S

module type S = sig .. end
generic failure reason

type reason