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