nat

class guppylang.std.builtins.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]