Functor_app_diff.Defs
type left = (Error.functor_arg_descr, Types.module_type);
type right = Types.functor_parameter;
type eq = Typedtree.module_coercion;
type diff = Error.functor_param_symptom(Error.functor_arg_descr, unit);
type state;