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