Module Ident

module Ident: sig .. end

Unique identificators.

type t

type of identificators.

val create : string -> t

Create a new unique identificator. Try to call it as requested and append numbers if it already exists. For instance, multiple calls with the string "v" will result in v, v0, v1,... Empty string is treated as the string "x".

val compare : t -> t -> int

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

module Set: Set.S  with type elt = t

module Map: Map.S  with type key = t