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