Module `Functor_inclusion_diff.Defs`

type left = Types.functor_parameter

type right = Includemod.Functor_inclusion_diff.Defs.left

type eq = Typedtree.module_coercion

type diff =
  (Types.functor_parameter, unit) Includemod.Error.functor_param_symptom

type state

Module Functor_inclusion_diff.Defs