Module Astral_internal.Identifier

type t = Stdlib.Int.t * Stdlib.String.t

Identifier is represented by integer tag used for comparison and name used for printing.

val compare : (int * 'a) -> (int * 'b) -> int
val equal : (int * 'a) -> (int * 'b) -> bool
val show_debug : (int * string) -> string
val tag : ('a * 'b) -> 'a
val equal_with_string : ('a * Stdlib.String.t) -> Stdlib.String.t -> bool
val base_name_str : string -> string
val base_name : ('a * string) -> string
module Self : sig ... end
include sig ... end
val show : Self.t -> string
val pp : Stdlib.Format.formatter -> Self.t -> unit
val print : ?prefix:string -> Self.t -> unit
val show_option : Self.t option -> string
val print_option : ?prefix:string -> Self.t option -> unit
val dump : string -> Self.t -> unit
val show_list : ?separator:string -> Self.t list -> string
val pp_list : Stdlib.Format.formatter -> Self.t list -> unit
val print_list : ?separator:string -> ?prefix:string -> Self.t list -> unit
include sig ... end
module Set : sig ... end
module MonoList : sig ... end
module Map : sig ... end
module MonoMap (Data : sig ... end) : sig ... end

Identifier managment

module HT : sig ... end
module Make () : sig ... end