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