Maps.extensionmethod virtual identifier_extension : Odoc_model.Paths.Identifier.Extension.t ->
Odoc_model.Paths.Identifier.Extension.tmethod virtual path_type : Odoc_model.Paths.Path.Type.t ->
Odoc_model.Paths.Path.Type.tmethod virtual documentation : Odoc_model.Comment.docs ->
Odoc_model.Comment.docsmethod virtual type_decl_param : Odoc_model.Lang.TypeDecl.param ->
Odoc_model.Lang.TypeDecl.parammethod virtual type_decl_constructor_argument : Odoc_model.Lang.TypeDecl.Constructor.argument ->
Odoc_model.Lang.TypeDecl.Constructor.argumentmethod virtual type_expr : Odoc_model.Lang.TypeExpr.t ->
Odoc_model.Lang.TypeExpr.tmethod extension_constructor : Odoc_model.Lang.Extension.Constructor.t ->
Odoc_model.Lang.Extension.Constructor.tmethod extension : Odoc_model.Lang.Extension.t -> Odoc_model.Lang.Extension.t