Module Odoc_model.CompatSource

Sourcetype visibility =
  1. | Exported
  2. | Hidden
Sourcetype module_type =
  1. | Mty_ident of Path.t
  2. | Mty_signature of signature
  3. | Mty_functor of functor_parameter * module_type
  4. | Mty_alias of Path.t
Sourceand functor_parameter =
  1. | Unit
  2. | Named of Ident.t option * module_type
Sourceand module_presence =
  1. | Mp_present
  2. | Mp_absent
Sourceand signature = signature_item list
Sourceand signature_item =
  1. | Sig_value of Ident.t * Types.value_description * visibility
  2. | Sig_type of Ident.t * Types.type_declaration * Types.rec_status * visibility
  3. | Sig_typext of Ident.t * Types.extension_constructor * Types.ext_status * visibility
  4. | Sig_module of Ident.t * module_presence * module_declaration * Types.rec_status * visibility
  5. | Sig_modtype of Ident.t * modtype_declaration * visibility
  6. | Sig_class of Ident.t * Types.class_declaration * Types.rec_status * visibility
  7. | Sig_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * visibility
Sourceand module_declaration = {
  1. md_type : module_type;
  2. md_attributes : Parsetree.attributes;
  3. md_loc : Location.t;
}
Sourceand modtype_declaration = {
  1. mtd_type : module_type option;
  2. mtd_attributes : Parsetree.attributes;
  3. mtd_loc : Location.t;
}
Sourceval opt : ('a -> 'b) -> 'a option -> 'b option
Sourceval signature : Types.signature -> signature
Sourceval signature_item : Types.signature_item -> signature_item
Sourceval visibility : Types.visibility -> visibility
Sourceval module_type : Types.module_type -> module_type
Sourceval functor_parameter : Types.functor_parameter -> functor_parameter
Sourceval module_presence : Types.module_presence -> module_presence
Sourceval module_declaration : Types.module_declaration -> module_declaration
Sourceval modtype_declaration : Types.modtype_declaration -> modtype_declaration
Sourcetype shape = Shape.t
Sourcetype 'a shape_uid_map = 'a Shape.Uid.Map.t
Sourcetype uid_to_loc = Warnings.loc Types.Uid.Tbl.t
Sourceval empty_map : 'a Shape.Uid.Map.t
Sourceval shape_of_cmt_infos : Cmt_format.cmt_infos -> shape option