Module `Functor_app_diff.Defs`

type left =
  Includemod.Error.functor_arg_descr
  * Types.module_type
  * Typedtree.mode_with_locks

type right = Types.functor_parameter

type eq = Typedtree.module_coercion

type diff =
  (Includemod.Error.functor_arg_descr, unit)
    Includemod.Error.functor_param_symptom

type state

Module Functor_app_diff.Defs