Module 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 -> (Defs.left, Defs.right, Defs.eq, Defs.diff) Melange_compiler_libs__.Diffing.change list