Module `Paths.Identifier`

Generic operations

type 'a id = {

iv : 'a;
ihash : int;
ikey : string;

}

module type IdSig = sig ... end

module Id : sig ... end

module Any : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.t
     and type t_pv = Odoc_model.Paths.Identifier.t_pv

module RootModule : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.RootModule.t
     and type t_pv = Odoc_model.Paths.Identifier.RootModule.t_pv

module Signature : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Signature.t
     and type t_pv = Odoc_model.Paths.Identifier.Signature.t_pv

module ClassSignature : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.ClassSignature.t
     and type t_pv = Odoc_model.Paths.Identifier.ClassSignature.t_pv

module LabelParent : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.LabelParent.t
     and type t_pv = Odoc_model.Paths.Identifier.LabelParent.t_pv

module Module : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Module.t
     and type t_pv = Odoc_model.Paths.Identifier.Module.t_pv

module FunctorParameter : sig ... end

module ModuleType : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.ModuleType.t
     and type t_pv = Odoc_model.Paths.Identifier.ModuleType.t_pv

module Type : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Type.t
     and type t_pv = Odoc_model.Paths.Identifier.Type.t_pv

module Class : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Class.t
     and type t_pv = Odoc_model.Paths.Identifier.Class.t_pv

module ClassType : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.ClassType.t
     and type t_pv = Odoc_model.Paths.Identifier.ClassType.t_pv

module DataType : sig ... end

module FieldParent : sig ... end

module UnboxedFieldParent : sig ... end

module FunctorResult : sig ... end

module Constructor : sig ... end

module Field : sig ... end

module UnboxedField : sig ... end

module Extension : sig ... end

module ExtensionDecl : sig ... end

module Exception : sig ... end

module Value : sig ... end

module Method : sig ... end

module InstanceVariable : sig ... end

module Label : 
  Odoc_model.Paths.Identifier.IdSig
    with type t = Odoc_model.Paths.Identifier.Label.t
     and type t_pv = Odoc_model.Paths.Identifier.Label.t_pv

module Page : sig ... end

module LeafPage : sig ... end

module ContainerPage : sig ... end

module NonSrc : sig ... end

module SourcePage : sig ... end

module SourceLocation : sig ... end

module AssetFile : sig ... end

module OdocId : sig ... end

module Path : sig ... end

type t = Odoc_model.Paths.Identifier.t_pv Odoc_model.Paths.Identifier.id

type t_pv = [

]

val hash : Odoc_model.Paths.Identifier.t -> int

val name : 
  [< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id ->
  string

val fullname : 
  [< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id ->
  string list

The fullname of value x in module M is M.x, whereas the regular name is x.

val is_hidden : 
  [< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id ->
  bool

val compare : 
  Odoc_model.Paths.Identifier.t ->
  Odoc_model.Paths.Identifier.t ->
  int

val equal : 
  ([< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id as 'a) ->
  'a ->
  bool

val label_parent : 
  [< Odoc_model.Paths.Identifier.NonSrc.t_pv ] Odoc_model.Paths.Identifier.id ->
  Odoc_model.Paths.Identifier.LabelParent.t

module Maps : sig ... end

module Hashtbl : sig ... end

module Mk : sig ... end

val fresh_include_parent : 
  Odoc_model.Paths.Identifier.Signature.t ->
  Odoc_model.Paths.Identifier.Signature.t

Create a synthetic parent identifier for items inside an include's module type expression. Uses a lowercase module name (illegal in normal OCaml) to ensure no clashes with real identifiers. Each call returns a fresh identifier.

val fresh_module_arg_parent : unit -> Odoc_model.Paths.Identifier.Signature.t

Create a synthetic parent identifier for module arguments, which can't have unique identifier, as they can be introduced multiple times with the same name in a single type expression .

Module Paths.Identifier

Generic operations

Module `Paths.Identifier`