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