type left = Error.functor_arg_descr * Types.module_typetype right = Types.functor_parametertype eq = Typedtree.module_coerciontype diff = (Error.functor_arg_descr, unit) Error.functor_param_symptomtype left = Error.functor_arg_descr * Types.module_typetype right = Types.functor_parametertype eq = Typedtree.module_coerciontype diff = (Error.functor_arg_descr, unit) Error.functor_param_symptom