jon.recoil.org

Module Odoc_model.Compat

type visibility =
  1. | Exported
  2. | Hidden
module Aliasability : sig ... end
type module_type =
  1. | Mty_ident of Path.t
  2. | Mty_signature of Odoc_model.Compat.signature
  3. | Mty_functor of Odoc_model.Compat.functor_parameter * Odoc_model.Compat.module_type
  4. | Mty_alias of Path.t
  5. | Mty_strengthen of Odoc_model.Compat.module_type * Path.t * Odoc_model.Compat.Aliasability.t
and functor_parameter =
  1. | Unit
  2. | Named of Ident.t option * Odoc_model.Compat.module_type
and module_presence =
  1. | Mp_present
  2. | Mp_absent
and module_declaration = {
  1. md_type : Odoc_model.Compat.module_type;
  2. md_attributes : Parsetree.attributes;
  3. md_loc : Location.t;
}
and modtype_declaration = {
  1. mtd_type : Odoc_model.Compat.module_type option;
  2. mtd_attributes : Parsetree.attributes;
  3. mtd_loc : Location.t;
}
val opt : ('a -> 'b) -> 'a option -> 'b option
type shape = Shape.t
type 'a shape_uid_map = 'a Shape.Uid.Map.t
type uid_to_loc = Warnings.loc Types.Uid.Tbl.t
val empty_map : 'a Shape.Uid.Map.t
val compunit_name : Cmo_format.compunit -> string
val required_compunit_names : Cmo_format.compilation_unit -> string list