jon.recoil.org

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 FunctorParameter : sig ... end
Sourcemodule DataType : sig ... end
Sourcemodule FieldParent : sig ... end
Sourcemodule UnboxedFieldParent : sig ... end
Sourcemodule FunctorResult : sig ... end
Sourcemodule Constructor : sig ... end
Sourcemodule Field : sig ... end
Sourcemodule UnboxedField : 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 Page : sig ... end
Sourcemodule LeafPage : 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

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

Sourcemodule Maps : sig ... end
Sourcemodule Hashtbl : sig ... end
Sourcemodule Mk : sig ... end

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.