Module Ident

Managing of identifier to avoid clashes

author
Christoph Sticksel
type t = string

Identifier

This type will become private later

val equal : t -> t -> bool

Equality of identifiers

val compare : t -> t -> int

Total order of identifiers

module IdentSet : Stdlib.Set.S with type IdentSet.elt = t

Set of identifiers

module IdentMap : Stdlib.Map.S with type IdentMap.key = t

Map of identifiers

val pp_print_ident : Stdlib.Format.formatter -> t -> unit

Pretty-print an identifier

val of_string : string -> t

Construct an identifier from a string

val to_string : t -> string

Return a string representation of an identifier x