Module Paths.IdentifierSource

Generic operations

Sourcetype 'a id = {
  1. iv : 'a;
  2. ihash : int;
  3. ikey : string;
}
Sourcemodule type IdSig = sig ... end
Sourcemodule Id : sig ... end
Sourcemodule Any : IdSig with type t = t and type t_pv = t_pv
Sourcemodule RootModule : IdSig with type t = RootModule.t and type t_pv = RootModule.t_pv
Sourcemodule Signature : IdSig with type t = Signature.t and type t_pv = Signature.t_pv
Sourcemodule Module : IdSig with type t = Module.t and type t_pv = Module.t_pv
Sourcemodule FunctorParameter : sig ... end
Sourcemodule ModuleType : IdSig with type t = ModuleType.t and type t_pv = ModuleType.t_pv
Sourcemodule Type : IdSig with type t = Type.t and type t_pv = Type.t_pv
Sourcemodule SourceDir : IdSig with type t = SourceDir.t and type t_pv = SourceDir.t_pv
Sourcemodule Class : IdSig with type t = Class.t and type t_pv = Class.t_pv
Sourcemodule ClassType : IdSig with type t = ClassType.t and type t_pv = ClassType.t_pv
Sourcemodule DataType : sig ... end
Sourcemodule FieldParent : sig ... end
Sourcemodule FunctorResult : sig ... end
Sourcemodule Constructor : sig ... end
Sourcemodule Field : sig ... end
Sourcemodule Extension : sig ... end
Sourcemodule ExtensionDecl : sig ... end
Sourcemodule Exception : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule Method : sig ... end
Sourcemodule InstanceVariable : sig ... end
Sourcemodule Label : IdSig with type t = Label.t and type t_pv = Label.t_pv
Sourcemodule Page : sig ... end
Sourcemodule ContainerPage : sig ... end
Sourcemodule NonSrc : sig ... end
Sourcemodule SourcePage : sig ... end
Sourcemodule SourceLocation : sig ... end
Sourcemodule AssetFile : sig ... end
Sourcemodule OdocId : sig ... end
Sourcemodule Path : sig ... end
Sourcetype t = t_pv id
Sourceval hash : t -> int
Sourceval name : [< t_pv ] id -> string
Sourceval fullname : [< t_pv ] id -> string list

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

Sourceval is_internal : [< t_pv ] id -> bool
Sourceval compare : t -> t -> int
Sourceval equal : [< t_pv ] id as 'a -> 'a -> bool
Sourceval label_parent : [< NonSrc.t_pv ] id -> LabelParent.t
Sourcemodule Maps : sig ... end
Sourcemodule Mk : sig ... end