ocamlcommon
Includemod.Functor_inclusion_diff
bigarray
dynlink
ocamlbytecomp
ocamlmiddleend
ocamloptcomp
ocamltoplevel
odoc_info
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