Includemod.Functor_app_diff
module Defs : sig ... end
val diff : Ocaml_typing.Env.t -> f:Ocaml_typing.Types.module_type -> args: (Ocaml_typing.Includemod.Error.functor_arg_descr * Ocaml_typing.Types.module_type * Ocaml_typing.Typedtree.mode_with_locks) list -> Ocaml_utils.Diffing.Define(Ocaml_typing.Includemod.Functor_app_diff.Defs).patch