Up – Package index » ocaml-base-compiler » Library ocamlcommon » Includemod » Functor_inclusion_diff

Module `Includemod.Functor_inclusion_diff`

val diff : 
  Env.t ->
  (Types.functor_parameter list * Types.module_type) ->
  (Types.functor_parameter list * Types.module_type) ->
  (Types.functor_parameter,
    Types.functor_parameter,
    Typedtree.module_coercion,
    (Types.functor_parameter, 'c) Error.functor_param_symptom)
    Diffing.patch