type left = Types.functor_parametertype right = lefttype eq = Typedtree.module_coerciontype diff = (Types.functor_parameter, unit) Error.functor_param_symptomtype left = Types.functor_parametertype right = lefttype eq = Typedtree.module_coerciontype diff = (Types.functor_parameter, unit) Error.functor_param_symptom