Module Constant.ID

val counter : int Stdlib.ref
val tag_table : int Stdlib__Hashtbl.Make(Stdlib.String).t Stdlib.ref
val index_table : int Stdlib__Hashtbl.Make(Stdlib.String).t Stdlib.ref
val add_tag : Stdlib.String.t -> int -> unit
val update_index : Stdlib.String.t -> int -> unit
val find_tag : Stdlib.String.t -> int
val find_index : Stdlib.String.t -> int
val debug_repr : unit -> string
type nonrec t = Stdlib.Int.t * Stdlib.String.t
val next_id : unit -> int
val mk : Stdlib.String.t -> int * Stdlib.String.t
val mk_fresh : string -> int * string
val show : (Stdlib.Int.t * Stdlib.String.t) -> string
val show_debug : (int * string) -> string
val tag : ('a * 'b) -> 'a
val compare : (int * 'a) -> (int * 'b) -> int
val equal : (int * 'a) -> (int * 'b) -> bool
val base_name : ('a * string) -> string