compiler-libs.common
Includemod.Functor_inclusion_diff
compiler-libs.bytecomp
compiler-libs.optcomp
compiler-libs.toplevel
dynlink
runtime_events
stdlib
str
threads
unix
module Defs : sig ... end
val diff : Env.t -> (Types.functor_parameter list * Types.module_type) -> (Types.functor_parameter list * Types.module_type) -> Diffing.Define(Defs).patch