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