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