Up

module Ident

: sig
#
type t = {
# stamp
: int;
# name
: string;
# mutable flags
: int;
}
#
val create : string -> t
#
val create_persistent : string -> t
#
val create_predef_exn : string -> t
#
val rename : t -> t
#
val name : t -> string
#
val unique_name : t -> string
#
val unique_toplevel_name : t -> string
#
val persistent : t -> bool
#
val equal : t -> t -> bool
#
val same : t -> t -> bool
#
val hide : t -> t
#
val make_global : t -> unit
#
val global : t -> bool
#
val is_predef_exn : t -> bool
#
val binding_time : t -> int
#
val current_time : unit -> int
#
val set_current_time : int -> unit
#
val reinit : unit -> unit
#
val print : Format.formatter -> t -> unit
#
type 'a tbl
#
val empty : 'a tbl
#
val add : t -> 'a -> 'a tbl -> 'a tbl
#
val find_same : t -> 'a tbl -> 'a
#
val find_name : string -> 'a tbl -> 'a
#
val find_all : string -> 'a tbl -> 'a list
#
val fold_name : (t -> 'a -> 'b -> 'b) -> 'a tbl -> 'b -> 'b
#
val fold_all : (t -> 'a -> 'b -> 'b) -> 'a tbl -> 'b -> 'b
#
val iter : (t -> 'a -> unit) -> 'a tbl -> unit
#
val make_key_generator : unit -> t -> t
end