nat¶ class guppylang.std.num.nat[source]¶ A 64-bit unsigned integer. __abs__() → nat[source]¶ __add__(other: nat) → nat[source]¶ __and__(other: nat) → nat[source]¶ __bool__() → bool[source]¶ __ceil__() → nat[source]¶ __divmod__(other: nat) → tuple[nat, nat][source]¶ __eq__(other: nat) → bool[source]¶ Return self==value. __float__() → float[source]¶ __floor__() → nat[source]¶ __floordiv__(other: nat) → nat[source]¶ __ge__(other: nat) → bool[source]¶ Return self>=value. __gt__(other: nat) → bool[source]¶ Return self>value. __hash__ = None¶ __int__() → int[source]¶ __invert__() → nat[source]¶ __le__(other: nat) → bool[source]¶ Return self<=value. __lshift__(other: nat) → nat[source]¶ __lt__(other: nat) → bool[source]¶ Return self<value. __mod__(other: nat) → int[source]¶ __mul__(other: nat) → nat[source]¶ __nat__() → nat[source]¶ __ne__(other: nat) → bool[source]¶ Return self!=value. static __new__(x)[source]¶ __or__(other: nat) → nat[source]¶ Return self|value. __pos__() → nat[source]¶ __pow__(other: nat) → nat[source]¶ __radd__(other: nat) → nat[source]¶ __rand__(other: nat) → nat[source]¶ __rdivmod__(other: nat) → tuple[nat, nat][source]¶ __rfloordiv__(other: nat) → nat[source]¶ __rlshift__(other: nat) → nat[source]¶ __rmod__(other: nat) → nat[source]¶ __rmul__(other: nat) → nat[source]¶ __ror__(other: nat) → nat[source]¶ Return value|self. __round__() → nat[source]¶ __rpow__(other: nat) → nat[source]¶ __rrshift__(other: nat) → nat[source]¶ __rshift__(other: nat) → nat[source]¶ __rsub__(other: nat) → nat[source]¶ __rtruediv__(other: nat) → float[source]¶ __rxor__(other: nat) → nat[source]¶ __sub__(other: nat) → nat[source]¶ __truediv__(other: nat) → float[source]¶ __trunc__() → nat[source]¶ __xor__(other: nat) → nat[source]¶