compiler-libs.common
Includemod.Functor_inclusion_diff
compiler-libs.bytecomp
compiler-libs.optcomp
compiler-libs.toplevel
dynlink
odoc_info
runtime_events
stdlib
str
threads
unix
module Defs : sig ... end
type inclusion_env = {
i_env : Env.t;
i_subst : Subst.t;
}
val diff : inclusion_env -> (Types.functor_parameter list * Types.module_type) -> (Types.functor_parameter list * Types.module_type) -> Diffing.Define(Defs).patch