Module Odoc_model.Compat
type visibility=|Exported|Hiddentype module_type=|Mty_ident of Path.t|Mty_signature of signature|Mty_functor of functor_parameter * module_type|Mty_alias of Path.tand functor_parameter=|Unit|Named of Ident.t option * module_typeand module_presence=|Mp_present|Mp_absentand 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 opt : ('a -> 'b) -> 'a option -> 'b optionval 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_declaration