jon.recoil.org

Module Identifier.MkSource

val implementation : string -> [> `Implementation of Odoc_model.Names.ModuleName.t ] Odoc_model.Paths.Identifier.id
val core_type : string -> [> `CoreType of Odoc_model.Names.TypeName.t ] Odoc_model.Paths.Identifier.id

extension_decl (sg, e1, eN) defines an extension declaration where sg is the parent, e1 is the first constructor of the extension, and eN is the constructor the Id is created for. e1 will be used for the url, and eN will be the one displayed. The first constructor of the extension will always be used to reference the extension point.