package DC_64Bi is
---------------------------------------------------------------------------
type Int64 is array ( 0..63 ) of boolean;
function "<"    ( Left, Right : in Int64 ) return boolean;
function "<="   ( Left, Right : in Int64 ) return boolean;
function ">"    ( Left, Right : in Int64 ) return boolean;
function ">="   ( Left, Right : in Int64 ) return boolean;
function "+"    ( X           : in Int64 ) return Int64;
function "-"    ( X           : in Int64 ) return Int64;
function "abs"  ( X           : in Int64 ) return Int64;
function "+"    ( X, Y        : in Int64 ) return Int64;
function "-"    ( X, Y        : in Int64 ) return Int64;
function "*"    ( X, Y        : in Int64 ) return Int64;
function "/"    ( X, Y        : in Int64 ) return Int64;
function "rem"  ( X, Y        : in Int64 ) return Int64;
function "mod"  ( X, Y        : in Int64 ) return Int64;
function "**"   ( Left, Right : in Int64 ) return Int64;
---------------------------------------------------------------------------
end DC_64Bi;