package Standard_Integer_Numbers is

-- DESCRIPTION :
--   With the operations in this package the Standard_Integer_Ring is build.

  function Create ( n : natural ) return integer;              -- n is integer

  function Equal ( a,b : integer ) return boolean;             -- a = b
  procedure Copy ( a : in integer; b : in out integer );       -- b := a

  procedure Add ( a : in out integer; b : in integer );        -- a := a+b
  procedure Sub ( a : in out integer; b : in integer );        -- a := a-b
  procedure Min ( a : in out integer );                        -- a := -a
  procedure Mul ( a : in out integer; b : in integer );        -- a := a*b

  function  Rmd ( a,b : integer ) return integer;              -- a mod b
  procedure Rmd ( a : in out integer; b : in integer );        -- a := a mod b

  procedure Div ( a : in out integer; b : in integer );        -- a := a/b
  procedure Div ( a,b : in integer;                            -- a = b*q+r
                  q : out integer; r : out integer );          -- q := a/b
  procedure Div ( a : in out integer; b : in integer;          -- a := a/b
                  r : out integer );                           -- r := a mod b

  procedure Clear ( a : in out integer );                      -- deallocation

end Standard_Integer_Numbers;