package Values.Ids is
type Id_Value is new Value with private;
type Id_Ptr is new Value_Ptr with private;
function Create
( | val | : Unsigned_64 ) return Id_Ptr; |
function Get_Type
( | this | : Id_Value ) return Value_Type; |
function Image
( | this | : Id_Value ) return String; |
function To_Unsigned_64
( | this | : Id_Value ) return Unsigned_64; |