Struct int

pub struct int;

Trait Implementations§

§

impl Add for int

§

type Output = int

The resulting type after applying the + operator.

§

fn add(self, _other: int) -> <int as Add>::Output

Performs the + operation. Read more

§

impl Clone for int

§

fn clone(&self) -> int

Returns a duplicate of the value. Read more

1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

§

impl Div for int

§

type Output = int

The resulting type after applying the / operator.

§

fn div(self, _other: int) -> <int as Div>::Output

Performs the / operation. Read more

Source §

impl FiniteRange for int

Source §

open spec fn range_set(lo: Self, hi: Self) -> Set<Self>

{ Set::new(|i: Self| lo <= i < hi) }

Source §

open spec fn range_len(lo: Self, hi: Self) -> nat

{ if lo <= hi { (hi - lo) as nat } else { 0 } }

Source §

type Output = int

The resulting type after applying the * operator.

§

fn mul(self, _other: int) -> <int as Mul>::Output

Performs the * operation. Read more

§

impl Neg for int

§

type Output = int

The resulting type after applying the - operator.

§

fn neg(self) -> <int as Neg>::Output

Performs the unary - operation. Read more

§

impl Ord for int

§

fn cmp(&self, _other: &int) -> Ordering

This method returns an Ordering between self and other. Read more

1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more

1.21.0 · Source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more

1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more

§

impl PartialEq for int

§

fn eq(&self, _other: &int) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

§

impl PartialOrd for int

§

fn partial_cmp(&self, _other: &int) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more

1.0.0 · Source§

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · Source§

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · Source§

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · Source§

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more

§

impl Rem for int

§

type Output = int

The resulting type after applying the % operator.

§

fn rem(self, _other: int) -> <int as Rem>::Output

Performs the % operation. Read more

§

impl<Rhs> SpecAdd<Rhs> for int
where Rhs: Integer,

§

type Output = int

§

fn spec_add(self, _rhs: Rhs) -> <int as SpecAdd<Rhs>>::Output

§

impl SpecAdd<int> for nat

§

type Output = int

§

fn spec_add(self, _rhs: int) -> <nat as SpecAdd<int>>::Output

§

impl SpecEuclideanMod for int

§

type Output = int

§

fn spec_euclidean_mod(self, _rhs: int) -> <int as SpecEuclideanMod>::Output

§

impl SpecEuclideanOrRealDiv for int

§

type Output = int

§

fn spec_euclidean_or_real_div( self, _rhs: int, ) -> <int as SpecEuclideanOrRealDiv>::Output

§

impl<Rhs> SpecMul<Rhs> for int
where Rhs: Integer,

§

type Output = int

§

fn spec_mul(self, _rhs: Rhs) -> <int as SpecMul<Rhs>>::Output

§

impl SpecMul<int> for nat

§

type Output = int

§

fn spec_mul(self, _rhs: int) -> <nat as SpecMul<int>>::Output

§

impl SpecNeg for int

§

type Output = int

§

fn spec_neg(self) -> <int as SpecNeg>::Output

§

impl<Rhs> SpecOrd<Rhs> for int
where Rhs: Integer,

§

fn spec_lt(self, _rhs: Rhs) -> bool

§

fn spec_le(self, _rhs: Rhs) -> bool

§

fn spec_gt(self, _rhs: Rhs) -> bool

§

fn spec_ge(self, _rhs: Rhs) -> bool

§

impl<Rhs> SpecSub<Rhs> for int
where Rhs: Integer,

§

type Output = int

§

fn spec_sub(self, _rhs: Rhs) -> <int as SpecSub<Rhs>>::Output

§

impl Sub for int

§

type Output = int

The resulting type after applying the - operator.

§

fn sub(self, _other: int) -> <int as Sub>::Output

Performs the - operation. Read more

§

impl Copy for int

§