Module Identifier.MkSource

Sourceval page : (ContainerPage.t option * Names.PageName.t) -> [> `Page of ContainerPage.t option * Names.PageName.t ] id
Sourceval leaf_page : (ContainerPage.t option * Names.PageName.t) -> [> `LeafPage of ContainerPage.t option * Names.PageName.t ] id
Sourceval source_page : (ContainerPage.t * string list) -> SourcePage.t
Sourceval asset_file : (Page.t * string) -> AssetFile.t
Sourceval root : (ContainerPage.t option * Names.ModuleName.t) -> [> `Root of ContainerPage.t option * Names.ModuleName.t ] id
Sourceval parameter : (Signature.t * Names.ModuleName.t) -> [> `Parameter of Signature.t * Names.ModuleName.t ] id
Sourceval result : Signature.t -> [> `Result of Signature.t ] id
Sourceval module_type : (Signature.t * Names.ModuleTypeName.t) -> [> `ModuleType of Signature.t * Names.ModuleTypeName.t ] id
Sourceval class_type : (Signature.t * Names.ClassTypeName.t) -> [> `ClassType of Signature.t * Names.ClassTypeName.t ] id
Sourceval core_type : string -> [> `CoreType of Names.TypeName.t ] id
Sourceval constructor : (DataType.t * Names.ConstructorName.t) -> [> `Constructor of DataType.t * Names.ConstructorName.t ] id
Sourceval extension : (Signature.t * Names.ExtensionName.t) -> [> `Extension of Signature.t * Names.ExtensionName.t ] 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.

Sourceval exception_ : (Signature.t * Names.ExceptionName.t) -> [> `Exception of Signature.t * Names.ExceptionName.t ] id
Sourceval core_exception : string -> [> `CoreException of Names.ExceptionName.t ] id
Sourceval source_location : (SourcePage.t * Names.DefName.t) -> [> `SourceLocation of SourcePage.t * Names.DefName.t ] id
Sourceval source_location_mod : SourcePage.t -> [> `SourceLocationMod of SourcePage.t ] id
Sourceval source_location_int : (SourcePage.t * Names.LocalName.t) -> [> `SourceLocationInternal of SourcePage.t * Names.LocalName.t ] id