Includemod.Functor_inclusion_diff
module Defs : sig ... end
val diff : Ocaml_typing.Env.t -> (Ocaml_typing.Types.functor_parameter list * Ocaml_typing.Types.module_type) -> (Ocaml_typing.Types.functor_parameter list * Ocaml_typing.Types.module_type) -> Ocaml_utils.Diffing.Define(Ocaml_typing.Includemod.Functor_inclusion_diff.Defs).patch