# Trait hacspec_lib::prelude::Numeric

source · [−]```
pub trait Numeric: ModNumeric + Add<Self, Output = Self> + Sub<Self, Output = Self> + Mul<Self, Output = Self> + BitXor<Self, Output = Self> + BitOr<Self, Output = Self> + BitAnd<Self, Output = Self> + Shl<usize, Output = Self> + Shr<usize, Output = Self> + Not<Output = Self> + Default + Clone + Debug {
```## Show 20 methods

fn max_val() -> Self;
fn wrap_add(self, rhs: Self) -> Self;
fn wrap_sub(self, rhs: Self) -> Self;
fn wrap_mul(self, rhs: Self) -> Self;
fn wrap_div(self, rhs: Self) -> Self;
fn exp(self, exp: u32) -> Self;
fn pow_self(self, exp: Self) -> Self;
fn divide(self, rhs: Self) -> Self;
fn inv(self, n: Self) -> Self;
fn equal(self, other: Self) -> bool;
fn greater_than(self, other: Self) -> bool;
fn greater_than_or_equal(self, other: Self) -> bool;
fn less_than(self, other: Self) -> bool;
fn less_than_or_equal(self, other: Self) -> bool;
fn not_equal_bm(self, other: Self) -> Self;
fn equal_bm(self, other: Self) -> Self;
fn greater_than_bm(self, other: Self) -> Self;
fn greater_than_or_equal_bm(self, other: Self) -> Self;
fn less_than_bm(self, other: Self) -> Self;
fn less_than_or_equal_bm(self, other: Self) -> Self;
}

## Expand description

The `Numeric`

trait has to be implemented by all numeric objects.

## Required Methods

#### fn greater_than(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

#### fn not_equal_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

## Implementations on Foreign Types

source### impl Numeric for u8

### impl Numeric for u8

source#### fn max_val() -> Self

#### fn max_val() -> Self

*This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and
call functions whose signatures are in hacspec.*
Return largest value that can be represented.

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

*This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and
call functions whose signatures are in hacspec.*

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

*This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and
call functions whose signatures are in hacspec.*

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for u16

### impl Numeric for u16

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for u32

### impl Numeric for u32

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for u64

### impl Numeric for u64

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for u128

### impl Numeric for u128

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for i8

### impl Numeric for i8

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for i16

### impl Numeric for i16

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for i32

### impl Numeric for i32

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for i64

### impl Numeric for i64

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**

source#### fn divide(self, rhs: Self) -> Self

#### fn divide(self, rhs: Self) -> Self

source#### fn inv(self, n: Self) -> Self

#### fn inv(self, n: Self) -> Self

source#### fn equal(self, other: Self) -> bool

#### fn equal(self, other: Self) -> bool

source#### fn greater_than(self, other: Self) -> bool

#### fn greater_than(self, other: Self) -> bool

source#### fn greater_than_or_equal(self, other: Self) -> bool

#### fn greater_than_or_equal(self, other: Self) -> bool

source#### fn less_than(self, other: Self) -> bool

#### fn less_than(self, other: Self) -> bool

source#### fn less_than_or_equal(self, other: Self) -> bool

#### fn less_than_or_equal(self, other: Self) -> bool

source#### fn not_equal_bm(self, other: Self) -> Self

#### fn not_equal_bm(self, other: Self) -> Self

source#### fn equal_bm(self, other: Self) -> Self

#### fn equal_bm(self, other: Self) -> Self

source#### fn greater_than_bm(self, other: Self) -> Self

#### fn greater_than_bm(self, other: Self) -> Self

source#### fn greater_than_or_equal_bm(self, other: Self) -> Self

#### fn greater_than_or_equal_bm(self, other: Self) -> Self

source#### fn less_than_bm(self, other: Self) -> Self

#### fn less_than_bm(self, other: Self) -> Self

source#### fn less_than_or_equal_bm(self, other: Self) -> Self

#### fn less_than_or_equal_bm(self, other: Self) -> Self

source### impl Numeric for i128

### impl Numeric for i128

source#### fn max_val() -> Self

#### fn max_val() -> Self

source#### fn wrap_add(self, rhs: Self) -> Self

#### fn wrap_add(self, rhs: Self) -> Self

source#### fn wrap_sub(self, rhs: Self) -> Self

#### fn wrap_sub(self, rhs: Self) -> Self

source#### fn wrap_mul(self, rhs: Self) -> Self

#### fn wrap_mul(self, rhs: Self) -> Self

source#### fn wrap_div(self, rhs: Self) -> Self

#### fn wrap_div(self, rhs: Self) -> Self

source#### fn exp(self, exp: u32) -> Self

#### fn exp(self, exp: u32) -> Self

`self ^ exp`

where `exp`

is a `u32`

.

source#### fn pow_self(self, _exp: Self) -> Self

#### fn pow_self(self, _exp: Self) -> Self

`self ^ exp`

where `exp`

is a `Self`

.
**XXX: Not implemented for public machine integers**