include Identifiable.S with type t := t
include Identifiable.Thing with type t := T.t
include Hashtbl.HashedType with type t := T.t
val hash : T.t -> int
A hashing function on keys. It must be such that if two keys are equal according to
equal, then they have identical hash values as computed by
hash. Examples: suitable (
hash) pairs for arbitrary key types include
Hashtbl.hash) for comparing objects by structure (provided objects do not contain floats)
(fun x y -> compare x y = 0),
Hashtbl.hash) for comparing objects by structure and handling
Hashtbl.hash) for comparing objects by physical equality (e.g. for mutable or cyclic objects).
n" suffix if the scope of the argument is
val create_scoped : scope:int -> string -> t
val create_local : string -> t
val create_persistent : string -> t
val create_predef : string -> t
Creates an identifier with the same name as the input, a fresh stamp, and no scope.
- raises [Fatal_error]
if called on a persistent / predef ident.
val name : t -> string
val unique_name : t -> string
val unique_toplevel_name : t -> string
val persistent : t -> bool
Compare identifiers by binding location. Two identifiers are the same either if they are both non-persistent and have been created by the same call to
create_*, or if they are both persistent and have the same name.
val global : t -> bool
val is_predef : t -> bool
val scope : t -> int
val empty : 'a tbl