type Hashed_String is private;
function "="
( | l, r | : Hashed_String ) return Boolean; |
function "<"
( | l, r | : Hashed_String ) return Boolean; |
function "&"
( | l | : Hashed_String; |
r | : String ) return String; |
function "&"
( | l | : String; |
r | : Hashed_String ) return String; |
function "&"
( | l, r | : Hashed_String ) return String; |
function Equivalent
( | l, r | : Hashed_String ) return Boolean; |
function To_Hashed_String
( | str | : String ) return Hashed_String; |
function To_String
( | hs | : Hashed_String ) return String; |