Module Ident

module Ident: sig .. end
Managing of identifier to avoid clashes
Author(s): Christoph Sticksel

type t = string 

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: Set.S  with type elt = t
Set of identifiers
module IdentMap: Map.S  with type key = t
Map of identifiers
val pp_print_ident : 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