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