type t = private
| Compilation_unit of string
| Item of {
comp_unit : string;
id : int;
}
| Internal
| Predef of string
val reinit : unit -> unit
val mk : current_unit:string -> t
val of_compilation_unit_id : Ident.t -> t
val of_predef_id : Ident.t -> t
val internal_not_actually_unique : t
val for_actual_declaration : t -> bool
include Identifiable.S with type t := t
val equal : T.t -> T.t -> bool
val compare : T.t -> T.t -> int
val output : Stdlib.out_channel -> T.t -> unit
val print : Stdlib.Format.formatter -> T.t -> unit