Module Functor_inclusion_diff.Defs
type left = Types.functor_parametertype right = lefttype eq = Typedtree.module_coerciontype diff = (Types.functor_parameter, unit) Error.functor_param_symptomFunctor_inclusion_diff.Defstype left = Types.functor_parametertype right = lefttype eq = Typedtree.module_coerciontype diff = (Types.functor_parameter, unit) Error.functor_param_symptom