Struct BigInt 

pub struct BigInt<'a> { /* private fields */ }

Implementations

impl<'a> BigInt<'a>

pub open(crate) spec fn view(&self) -> Seq<u8>

pub exec fn as_slice(&self) -> res : &'a [u8]

ensures

res.deep_view() == self.view(),

pub exec fn is_negative(&self) -> negative : bool

ensures

negative ==> int_from_be_bytes(self.view()) < i64::MIN as int,

!negative ==> int_from_be_bytes(self.view()) > i64::MAX as int,

Returns the sign of an arbitrary-size integer.

BigInt values are canonical encodings longer than eight octets, so their values are strictly outside the signed 64-bit range.

Trait Implementations

impl<'a> Clone for BigInt<'a>

fn clone(&self) -> BigInt<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for BigInt<'a>