ocamlcommon
Functor_app_diff.Defs
bigarray
dynlink
ocamlbytecomp
ocamlmiddleend
ocamloptcomp
ocamltoplevel
odoc_info
stdlib
str
threads
unix
type left = Error.functor_arg_descr * Types.module_type
type right = Types.functor_parameter
type eq = Typedtree.module_coercion
type diff = (Error.functor_arg_descr, unit) Error.functor_param_symptom
type state