Module Includemod.Functor_inclusion_diff
module Defs : sig ... endval diff :
Env.t ->
(Types.functor_parameter list * Types.module_type) ->
(Types.functor_parameter list * Types.module_type) ->
Diffing.Define(Includemod.Functor_inclusion_diff.Defs).patch