Odoc_model.Compattype module_type = | Mty_ident of Path.t| Mty_signature of signature| Mty_functor of functor_parameter * module_type| Mty_alias of Path.tand signature = signature_item listand signature_item = | Sig_value of Ident.t * Types.value_description * visibility| Sig_type of Ident.t * Types.type_declaration * Types.rec_status * visibility| Sig_typext of Ident.t
* Types.extension_constructor
* Types.ext_status
* visibility| Sig_module of Ident.t
* module_presence
* module_declaration
* Types.rec_status
* visibility| Sig_modtype of Ident.t * modtype_declaration * visibility| Sig_class of Ident.t * Types.class_declaration * Types.rec_status * visibility| Sig_class_type of Ident.t
* Types.class_type_declaration
* Types.rec_status
* visibilityand module_declaration = {md_type : module_type;md_attributes : Parsetree.attributes;md_loc : Location.t;}and modtype_declaration = {mtd_type : module_type option;mtd_attributes : Parsetree.attributes;mtd_loc : Location.t;}val signature : Types.signature -> signatureval signature_item : Types.signature_item -> signature_itemval visibility : Types.visibility -> visibilityval module_type : Types.module_type -> module_typeval functor_parameter : Types.functor_parameter -> functor_parameterval module_presence : Types.module_presence -> module_presenceval module_declaration : Types.module_declaration -> module_declarationval modtype_declaration : Types.modtype_declaration -> modtype_declarationtype shape = Shape.ttype !'a shape_uid_map = 'a Shape.Uid.Map.ttype uid_to_loc = Warnings.loc Types.Uid.Tbl.tval empty_map : 'a Shape.Uid.Map.tval shape_of_cmt_infos : Cmt_format.cmt_infos -> shape option