ATSLIB/prelude/integer

This package contains common functions on signed and unsigned integers of various finite precision.


  • g0int2int
  • g1int2int
  • g1ofg0_int
  • g0string2int
  • g1int_get_index
  • g0int_neg
  • g1int_neg
  • g0int_succ
  • g1int_succ
  • g0int_pred
  • g1int_pred
  • g0int_add
  • g1int_add
  • g0int_sub
  • g1int_sub
  • g0int_mul
  • g1int_mul
  • g1int_mul2
  • g0int_div
  • g1int_div
  • g1int_ndiv
  • g1int_ndiv2
  • g0int_mod
  • g1int_mod
  • g1int_nmod
  • g1int_nmod2
  • g0int_gcd
  • g1int_gcd
  • g1int_ngcd
  • g1int_ngcd2
  • g0int_lt
  • g1int_lt
  • g0int_lte
  • g1int_lte
  • g0int_gt
  • g1int_gt
  • g0int_gte
  • g1int_gte
  • g0int_eq
  • g1int_eq
  • g0int_neq
  • g1int_neq
  • g0int_compare
  • g1int_compare
  • g0int_max
  • g1int_max
  • g0int_min
  • g1int_min
  • fprint_int
  • fprint_lint
  • fprint_llint
  • fprint_ssize
  • g0int2uint
  • g0uint2int
  • g0uint2uint
  • g1int2uint
  • g1uint2int
  • g1uint2uint
  • g1ofg0_uint
  • g0string2uint
  • g1uint_get_index
  • g0uint_succ
  • g1uint_succ
  • g0uint_pred
  • g1uint_pred
  • g0uint_add
  • g1uint_add
  • g0uint_sub
  • g1uint_sub
  • g0uint_mul
  • g1uint_mul
  • g1uint_mul2
  • g0uint_div
  • g1uint_div
  • g0uint_mod
  • g1uint_mod
  • g0uint_lt
  • g1uint_lt
  • g0uint_lte
  • g1uint_lte
  • g0uint_gt
  • g1uint_gt
  • g0uint_gte
  • g1uint_gte
  • g0uint_eq
  • g1uint_eq
  • g0uint_neq
  • g1uint_neq
  • g0uint_compare
  • g1uint_compare
  • g0uint_max
  • g1uint_max
  • g0uint_min
  • g1uint_min
  • fprint_uint
  • fprint_ulint
  • fprint_ullint
  • fprint_size
  • Macro Definitions
  • g0i2i
  • g1i2i
  • g0i2u
  • g1i2u
  • g0u2i
  • g1u2i
  • g0u2u
  • g1u2u
  • i2u
  • i2sz
  • i2ssz
  • u2i
  • u2sz
  • sz2i
  • sz2u
  • Overloaded Symbols
  • g0ofg1
  • g1ofg0
  • ~
  • neg
  • abs
  • succ
  • pred
  • half
  • +
  • -
  • *
  • /
  • mod
  • isltz
  • isltez
  • isgtz
  • isgtez
  • iseqz
  • isneqz
  • <
  • <=
  • >
  • >=
  • =
  • !=
  • compare
  • max
  • min
  • print
  • prerr
  • fprint

  • g0int2int

    Synopsis

    fun{
    k1,k2:tk
    } g0int2int (x: g0int (k1)):<> g0int (k2)

    g1int2int

    Synopsis

    fun{
    k1,k2:tk
    } g1int2int // i2i
      {i:int} (x: g1int (k1, i)):<> g1int (k2, i)

    g1ofg0_int

    Synopsis

    castfn
    g1ofg0_int {tk:tk} (x: g0int tk):<> g1int (tk)

    Description

    This cast function is called to assign a dependent (or indexed) type to an integer of a non-dependent (or un-indexed) type. It is for signed integers.

    g0string2int

    Synopsis

    fun{tk:tk}
    g0string2int (str: NSH(string)):<> g0int (tk)

    Description

    Given a string representation of an integer, this function, which is based on the function atoi in libc, returns the value of the integer.

    g1int_get_index

    Synopsis

    prfun
    g1int_get_index
      {tk:tk}{i1:int}
      (x: g1int (tk, i1)): [i2:int] EQINT (i1, i2)

    g0int_neg

    Synopsis

    fun
    {tk:tk}
    g0int_neg : g0int_uop_type(tk)

    g1int_neg

    Synopsis

    fun
    {tk:tk}
    g1int_neg : g1int_neg_type(tk)

    g0int_succ

    Synopsis

    fun
    {tk:tk}
    g0int_succ : g0int_uop_type(tk)

    g1int_succ

    Synopsis

    fun{tk:tk}
    g1int_succ : g1int_succ_type(tk)

    g0int_pred

    Synopsis

    fun
    {tk:tk}
    g0int_pred : g0int_uop_type(tk)

    g1int_pred

    Synopsis

    fun{tk:tk}
    g1int_pred : g1int_pred_type(tk)

    g0int_add

    Synopsis

    fun
    {tk:tk}
    g0int_add : g0int_aop_type(tk)

    g1int_add

    Synopsis

    fun
    {tk:tk}
    g1int_add : g1int_add_type(tk)

    g0int_sub

    Synopsis

    fun
    {tk:tk}
    g0int_sub : g0int_aop_type(tk)

    g1int_sub

    Synopsis

    fun
    {tk:tk}
    g1int_sub : g1int_sub_type(tk)

    g0int_mul

    Synopsis

    fun
    {tk:tk}
    g0int_mul : g0int_aop_type(tk)

    g1int_mul

    Synopsis

    fun
    {tk:tk}
    g1int_mul : g1int_mul_type(tk)

    g1int_mul2

    Synopsis

    fun
    {tk:tk}
    g1int_mul2
      {i,j:int}
    (
      x: g1int (tk, i)
    , y: g1int (tk, j)
    ) :<> [ij:int]
      (MUL (i, j, ij) | g1int (tk, ij))

    g0int_div

    Synopsis

    fun
    {tk:tk}
    g0int_div : g0int_aop_type(tk)

    g1int_div

    Synopsis

    fun
    {tk:tk}
    g1int_div : g1int_div_type(tk)

    g1int_ndiv

    Synopsis

    fun{tk:tk}
    g1int_ndiv : g1int_ndiv_type(tk)

    g1int_ndiv2

    Synopsis

    fun{tk:tk}
    g1int_ndiv2
      {i,j:int | i >= 0; j > 0}
    (
      x: g1int (tk, i), y: g1int (tk, j)
    ) :<>
    [
      q,r:int | 0 <= r; r < j
    ] (
      DIVMOD (i, j, q, r) | g1int (tk, q)
    ) (* end of [g1int_ndiv2] *)

    g0int_mod

    Synopsis

    fun
    {tk:tk}
    g0int_mod : g0int_aop_type(tk)

    g1int_mod

    Synopsis

    Synopsis for [g1int_mod] is unavailable.

    g1int_nmod

    Synopsis

    fun{tk:tk}
    g1int_nmod : g1int_nmod_type(tk)

    g1int_nmod2

    Synopsis

    fun{tk:tk}
    g1int_nmod2
      {i,j:int | i >= 0; j > 0}
    (
      x: g1int (tk, i), y: g1int (tk, j)
    ) :<> [q,r:nat | r < j]
    (
      DIVMOD (i, j, q, r) | g1int (tk, r)
    ) (* end of [g1int_nmod2] *)

    g0int_gcd

    Synopsis

    Synopsis for [g0int_gcd] is unavailable.

    g1int_gcd

    Synopsis

    Synopsis for [g1int_gcd] is unavailable.

    g1int_ngcd

    Synopsis

    fun{tk:tk}
    g1int_ngcd : g1int_ngcd_type(tk)

    g1int_ngcd2

    Synopsis

    Synopsis for [g1int_ngcd2] is unavailable.

    g0int_lt

    Synopsis

    fun
    {tk:tk}
    g0int_lt : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is less than its second argument. It is for signed integers.

    g1int_lt

    Synopsis

    fun{tk:tk}
    g1int_lt : g1int_lt_type(tk)

    Description

    This function does the same as g0int_lt but is assigned a more informative dependent type.

    g0int_lte

    Synopsis

    fun
    {tk:tk}
    g0int_lte : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is less than or equal to its second argument. It is for signed integers.

    g1int_lte

    Synopsis

    fun{tk:tk}
    g1int_lte : g1int_lte_type(tk)

    Description

    This function does the same as g0int_lte but is assigned a more informative dependent type.

    g0int_gt

    Synopsis

    fun
    {tk:tk}
    g0int_gt : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is greater than its second argument. It is for signed integers.

    g1int_gt

    Synopsis

    fun
    {tk:tk}
    g1int_gt : g1int_gt_type(tk)

    Description

    This function does the same as g0int_gt but is assigned a more informative dependent type.

    g0int_gte

    Synopsis

    fun
    {tk:tk}
    g0int_gte : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is greater than or equal to its second argument. It is for signed integers.

    g1int_gte

    Synopsis

    fun
    {tk:tk}
    g1int_gte : g1int_gte_type(tk)

    Description

    This function does the same as g0int_gte but is assigned a more informative dependent type.

    g0int_eq

    Synopsis

    fun
    {tk:tk}
    g0int_eq : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is equal to its second argument. It is for signed integers.

    g1int_eq

    Synopsis

    fun
    {tk:tk}
    g1int_eq : g1int_eq_type(tk)

    Description

    This function does the same as g0int_eq but is assigned a more informative dependent type.

    g0int_neq

    Synopsis

    fun
    {tk:tk}
    g0int_neq : g0int_cmp_type(tk)

    Description

    This function returns true if and only if its first argument is unequal to its second argument. It is for signed integers.

    g1int_neq

    Synopsis

    fun
    {tk:tk}
    g1int_neq : g1int_neq_type(tk)

    Description

    This function does the same as g0int_neq but is assigned a more informative dependent type.

    g0int_compare

    Synopsis

    fun{tk:tk}
    g0int_compare
      (x: g0int (tk), y: g0int (tk)):<> int

    Description

    This function returns -1, 0, and 1 if its first argument is less than, equal to, and greater than its second argument, respectively. It is for signed integers.

    g1int_compare

    Synopsis

    fun{tk:tk}
    g1int_compare : g1int_compare_type(tk)

    Description

    This function does the same as g0int_compare but is assigned a more informative dependent type.

    g0int_max

    Synopsis

    fun
    {tk:tk}
    g0int_max : g0int_aop_type(tk)

    Description

    This function returns the maximum of its two arguments. It is for signed integers.

    g1int_max

    Synopsis

    fun
    {tk:tk}
    g1int_max : g1int_max_type(tk)

    Description

    This function does the same as g0int_max but is assigned a more informative dependent type.

    g0int_min

    Synopsis

    fun
    {tk:tk}
    g0int_min : g0int_aop_type(tk)

    Description

    This function returns the minimum of its two arguments. It is for signed integers.

    g1int_min

    Synopsis

    fun
    {tk:tk}
    g1int_min : g1int_min_type(tk)

    Description

    This function does the same as g0int_min but is assigned a more informative dependent type.

    fprint_int

    Synopsis

    fun fprint_int : fprint_type (int) = "mac#%"

    fprint_lint

    Synopsis

    fun fprint_lint : fprint_type (lint) = "mac#%"

    fprint_llint

    Synopsis

    fun fprint_llint : fprint_type (llint) = "mac#%"

    fprint_ssize

    Synopsis

    fun fprint_ssize : fprint_type (ssize_t) = "mac#%"

    g0int2uint

    Synopsis

    fun{
    k1,k2:tk
    } g0int2uint (x: g0int (k1)):<> g0uint (k2)

    g0uint2int

    Synopsis

    fun{
    k1,k2:tk
    } g0uint2int (x: g0uint (k1)):<> g0int (k2)

    g0uint2uint

    Synopsis

    fun{
    k1,k2:tk
    } g0uint2uint (x: g0uint (k1)):<> g0uint (k2)

    g1int2uint

    Synopsis

    fun{
    k1,k2:tk
    } g1int2uint // i2u
      {i:nat} (x: g1int (k1, i)):<> g1uint (k2, i)

    g1uint2int

    Synopsis

    fun{
    k1,k2:tk
    } g1uint2int : g1uint2int_type (k1, k2)

    g1uint2uint

    Synopsis

    fun{
    k1,k2:tk
    } g1uint2uint : g1uint2uint_type (k1, k2)

    g1ofg0_uint

    Synopsis

    castfn
    g1ofg0_uint {tk:tk} (x: g0uint tk):<> g1uint0 (tk)

    g0string2uint

    Synopsis

    fun{tk:tk}
    g0string2uint (str: NSH(string)):<> g0uint (tk)

    g1uint_get_index

    Synopsis

    prfun
    g1uint_get_index
      {tk:tk}{i1:int}
      (x: g1uint (tk, i1)): [i2:int] EQINT (i1, i2)

    g0uint_succ

    Synopsis

    fun{tk:tk}
    g0uint_succ (x: g0uint (tk)):<> g0uint (tk)

    g1uint_succ

    Synopsis

    fun{tk:tk}
    g1uint_succ : g1uint_succ_type(tk)

    g0uint_pred

    Synopsis

    fun{tk:tk}
    g0uint_pred (x: g0uint (tk)):<> g0uint (tk)

    g1uint_pred

    Synopsis

    fun{tk:tk}
    g1uint_pred : g1uint_pred_type(tk)

    g0uint_add

    Synopsis

    fun{
    tk:tk
    } g0uint_add
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_add

    Synopsis

    fun
    {tk:tk}
    g1uint_add : g1uint_add_type(tk)

    g0uint_sub

    Synopsis

    fun{
    tk:tk
    } g0uint_sub
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_sub

    Synopsis

    fun
    {tk:tk}
    g1uint_sub : g1uint_sub_type(tk)

    g0uint_mul

    Synopsis

    fun{
    tk:tk
    } g0uint_mul
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_mul

    Synopsis

    fun
    {tk:tk}
    g1uint_mul : g1uint_mul_type(tk)

    g1uint_mul2

    Synopsis

    fun
    {tk:tk}
    g1uint_mul2 {i,j:int}
    (
      x: g1uint (tk, i), y: g1uint (tk, j)
    ) :<> [ij:int] (MUL (i, j, ij) | g1uint (tk, ij))

    g0uint_div

    Synopsis

    fun{
    tk:tk
    } g0uint_div
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_div

    Synopsis

    fun
    {tk:tk}
    g1uint_div : g1uint_div_type(tk)

    g0uint_mod

    Synopsis

    fun{
    tk:tk
    } g0uint_mod
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_mod

    Synopsis

    fun
    {tk:tk}
    g1uint_mod : g1uint_mod_type(tk)

    g0uint_lt

    Synopsis

    fun{
    tk:tk
    } g0uint_lt
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is less than its second argument. It is for unsigned integers.

    g1uint_lt

    Synopsis

    fun{tk:tk}
    g1uint_lt : g1uint_lt_type(tk)

    g0uint_lte

    Synopsis

    fun{
    tk:tk
    } g0uint_lte
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is less than or equal to its second argument. It is for unsigned integers.

    g1uint_lte

    Synopsis

    fun{tk:tk}
    g1uint_lte : g1uint_lte_type(tk)

    g0uint_gt

    Synopsis

    fun{
    tk:tk
    } g0uint_gt
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is greater than its second argument. It is for unsigned integers.

    g1uint_gt

    Synopsis

    fun
    {tk:tk}
    g1uint_gt : g1uint_gt_type(tk)

    g0uint_gte

    Synopsis

    fun{
    tk:tk
    } g0uint_gte
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is greater than or equal to its second argument. It is for unsigned integers.

    g1uint_gte

    Synopsis

    fun
    {tk:tk}
    g1uint_gte : g1uint_gte_type(tk)

    g0uint_eq

    Synopsis

    fun{
    tk:tk
    } g0uint_eq
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is equal to its second argument. It is for unsigned integers.

    g1uint_eq

    Synopsis

    fun
    {tk:tk}
    g1uint_eq : g1uint_eq_type(tk)

    g0uint_neq

    Synopsis

    fun{
    tk:tk
    } g0uint_neq
      (x: g0uint (tk), y: g0uint (tk)):<> bool

    Description

    This function returns true if and only if its first argument is unequal to its second argument. It is for unsigned integers.

    g1uint_neq

    Synopsis

    fun
    {tk:tk}
    g1uint_neq : g1uint_neq_type(tk)

    g0uint_compare

    Synopsis

    fun{tk:tk}
    g0uint_compare (x: g0uint (tk), y: g0uint (tk)):<> int

    g1uint_compare

    Synopsis

    fun{tk:tk}
    g1uint_compare : g1uint_compare_type(tk)

    g0uint_max

    Synopsis

    fun
    {tk:tk}
    g0uint_max
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_max

    Synopsis

    fun
    {tk:tk}
    g1uint_max : g1uint_max_type(tk)

    g0uint_min

    Synopsis

    fun
    {tk:tk}
    g0uint_min
      (x: g0uint (tk), y: g0uint (tk)):<> g0uint (tk)

    g1uint_min

    Synopsis

    fun
    {tk:tk}
    g1uint_min : g1uint_min_type(tk)

    fprint_uint

    Synopsis

    fun fprint_uint : fprint_type (uint) = "mac#%"

    fprint_ulint

    Synopsis

    fun fprint_ulint : fprint_type (ulint) = "mac#%"

    fprint_ullint

    Synopsis

    fun fprint_ullint : fprint_type (ullint) = "mac#%"

    fprint_size

    Synopsis

    fun fprint_size : fprint_type (size_t) = "mac#%"

    Macro Definitions


    g0i2i

    Synopsis

    macdef g0i2i (x) = g0int2int (,(x))

    g1i2i

    Synopsis

    macdef g1i2i (x) = g1int2int (,(x))

    g0i2u

    Synopsis

    macdef g0i2u (x) = g0int2uint (,(x))

    g1i2u

    Synopsis

    macdef g1i2u (x) = g1int2uint (,(x))

    g0u2i

    Synopsis

    macdef g0u2i (x) = g0uint2int (,(x))

    g1u2i

    Synopsis

    macdef g1u2i (x) = g1uint2int (,(x))

    g0u2u

    Synopsis

    macdef g0u2u (x) = g0uint2uint (,(x))

    g1u2u

    Synopsis

    macdef g1u2u (x) = g1uint2uint (,(x))

    i2u

    Synopsis

    macdef i2u (x) = g1int2uint_int_uint (,(x))

    i2sz

    Synopsis

    macdef i2sz (x) = g1int2uint_int_size (,(x))

    i2ssz

    Synopsis

    macdef i2ssz (x) = g1int2int_int_ssize (,(x))

    u2i

    Synopsis

    macdef u2i (x) = g1uint2int_uint_int (,(x))

    u2sz

    Synopsis

    macdef u2sz (x) = g1uint2uint_uint_size (,(x))

    sz2i

    Synopsis

    overload sz2i with g0uint2int_size_int of 0
    overload sz2i with g1uint2int_size_int of 10

    sz2u

    Synopsis

    overload sz2u with g0uint2uint_size_uint of 0
    overload sz2u with g1uint2uint_size_uint of 10

    Overloaded Symbols


    g0ofg1

    Synopsis

    overload g0ofg1 with g0ofg1_int // index-erasing
    overload g0ofg1 with g0ofg1_uint // index-erasing

    g1ofg0

    Synopsis

    overload g1ofg0 with g1ofg0_int // index-inducing
    overload g1ofg0 with g1ofg0_uint // index-inducing

    ~

    Synopsis

    overload ~ with g0int_neg of 0 // ~ for uminus
    overload ~ with g1int_neg of 10 // ~ for uminus
    overload ~ with g0uint_lnot

    neg

    Synopsis

    overload neg with g0int_neg of 0
    overload neg with g1int_neg of 10

    abs

    Synopsis

    overload abs with g0int_abs of 0
    overload abs with g1int_abs of 10

    succ

    Synopsis

    overload succ with g0int_succ of 0
    overload succ with g1int_succ of 10
    overload succ with g0uint_succ of 0
    overload succ with g1uint_succ of 10

    pred

    Synopsis

    overload pred with g0int_pred of 0
    overload pred with g1int_pred of 10
    overload pred with g0uint_pred of 0
    overload pred with g1uint_pred of 10

    half

    Synopsis

    overload half with g0int_half of 0
    overload half with g1int_half of 10
    overload half with g0uint_half of 0
    overload half with g1uint_half of 10

    +

    Synopsis

    overload + with g0int_add of 0
    overload + with g1int_add of 20
    overload + with add_size1_int1 of 22
    overload + with add_int1_size1 of 22
    overload + with g0uint_add of 0
    overload + with g1uint_add of 20

    -

    Synopsis

    overload - with g0int_sub of 0
    overload - with g1int_sub of 20
    overload - with sub_size1_int1 of 22
    overload - with g0uint_sub of 0
    overload - with g1uint_sub of 20

    *

    Synopsis

    overload * with g0int_mul of 0
    overload * with mul_int1_size0 of 11
    overload * with mul_size0_int1 of 11
    overload * with g1int_mul of 20
    overload * with mul_int1_size1 of 22
    overload * with mul_size1_int1 of 22
    overload * with g0uint_mul of 0
    overload * with g1uint_mul of 20

    /

    Synopsis

    overload / with g0int_div of 0
    overload / with g1int_div of 20
    overload / with g0uint_div of 0
    overload / with g1uint_div of 20

    mod

    Synopsis

    overload mod with g0int_mod of 0
    overload mod with g0uint_mod of 0
    overload mod with g1uint_mod of 20

    isltz

    Synopsis

    overload isltz with g0int_isltz of 0
    overload isltz with g1int_isltz of 10

    isltez

    Synopsis

    overload isltez with g0int_isltez of 0
    overload isltez with g1int_isltez of 10

    isgtz

    Synopsis

    overload isgtz with g0int_isgtz of 0
    overload isgtz with g1int_isgtz of 10
    overload isgtz with g0uint_isgtz of 0
    overload isgtz with g1uint_isgtz of 10

    isgtez

    Synopsis

    overload isgtez with g0int_isgtez of 0
    overload isgtez with g1int_isgtez of 10

    iseqz

    Synopsis

    overload iseqz with g0int_iseqz of 0
    overload iseqz with g1int_iseqz of 10
    overload iseqz with g0uint_iseqz of 0
    overload iseqz with g1uint_iseqz of 10

    isneqz

    Synopsis

    overload isneqz with g0int_isneqz of 0
    overload isneqz with g1int_isneqz of 10
    overload isneqz with g0uint_isneqz of 0
    overload isneqz with g1uint_isneqz of 10

    <

    Synopsis

    overload < with g0int_lt of 0
    overload < with lt_g0int_int of 11
    overload < with g1int_lt of 20
    overload < with lt_g1int_int of 21
    overload < with g0uint_lt of 0
    overload < with lt_g0uint_int of 11
    overload < with g1uint_lt of 20
    overload < with lt_g1uint_int of 21

    <=

    Synopsis

    overload <= with g0int_lte of 0
    overload <= with lte_g0int_int of 11
    overload <= with g1int_lte of 20
    overload <= with lte_g1int_int of 21
    overload <= with g0uint_lte of 0
    overload <= with lte_g0uint_int of 11
    overload <= with g1uint_lte of 20
    overload <= with lte_g1uint_int of 21

    >

    Synopsis

    overload > with g0int_gt of 0
    overload > with gt_g0int_int of 11
    overload > with g1int_gt of 20
    overload > with gt_g1int_int of 21
    overload > with g0uint_gt of 0
    overload > with gt_g0uint_int of 11
    overload > with g1uint_gt of 20
    overload > with gt_g1uint_int of 21

    >=

    Synopsis

    overload >= with g0int_gte of 0
    overload >= with gte_g0int_int of 11
    overload >= with g1int_gte of 20
    overload >= with gte_g1int_int of 21
    overload >= with g0uint_gte of 0
    overload >= with gte_g0uint_int of 11
    overload >= with g1uint_gte of 20
    overload >= with gte_g1uint_int of 21

    =

    Synopsis

    overload = with g0int_eq of 0
    overload = with eq_g0int_int of 11
    overload = with g1int_eq of 20
    overload = with eq_g1int_int of 21
    overload = with g0uint_eq of 0
    overload = with eq_g0uint_int of 11
    overload = with g1uint_eq of 20
    overload = with eq_g1uint_int of 21

    !=

    Synopsis

    overload != with g0int_neq of 0
    overload != with neq_g0int_int of 11
    overload != with g1int_neq of 20
    overload != with neq_g1int_int of 21
    overload != with g0uint_neq of 0
    overload != with neq_g0uint_int of 11
    overload != with g1uint_neq of 20
    overload != with neq_g1uint_int of 21

    compare

    Synopsis

    overload compare with g0int_compare of 0
    overload compare with compare_g0int_int of 11
    overload compare with g1int_compare of 20
    overload compare with compare_g1int_int of 21
    overload compare with g0uint_compare of 0
    overload compare with g1uint_compare of 20

    max

    Synopsis

    overload max with g0int_max of 0
    overload max with g1int_max of 20
    overload max with g0uint_max of 0
    overload max with g1uint_max of 20

    min

    Synopsis

    overload min with g0int_min of 0
    overload min with g1int_min of 20
    overload min with g0uint_min of 0
    overload min with g1uint_min of 20

    print

    Synopsis

    overload print with print_int
    overload print with print_lint
    overload print with print_llint
    overload print with print_ssize
    overload print with print_uint
    overload print with print_ulint
    overload print with print_ullint
    overload print with print_size

    prerr

    Synopsis

    overload prerr with prerr_int
    overload prerr with prerr_lint
    overload prerr with prerr_llint
    overload prerr with prerr_ssize
    overload prerr with prerr_uint
    overload prerr with prerr_ulint
    overload prerr with prerr_ullint
    overload prerr with prerr_size

    fprint

    Synopsis

    overload fprint with fprint_int
    overload fprint with fprint_lint
    overload fprint with fprint_llint
    overload fprint with fprint_ssize
    overload fprint with fprint_uint
    overload fprint with fprint_ulint
    overload fprint with fprint_ullint
    overload fprint with fprint_size

    This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. SourceForge.net Logo