Trait DafnyUsize 

pub trait DafnyUsize {
    // Required method
    fn into_usize(self) -> usize;
}

Required Methods

fn into_usize(self) -> usize

Implementations on Foreign Types

impl DafnyUsize for i8

fn into_usize(self) -> usize

impl DafnyUsize for i16

fn into_usize(self) -> usize

impl DafnyUsize for i32

fn into_usize(self) -> usize

impl DafnyUsize for i64

fn into_usize(self) -> usize

impl DafnyUsize for i128

fn into_usize(self) -> usize

impl DafnyUsize for u8

fn into_usize(self) -> usize

impl DafnyUsize for u16

fn into_usize(self) -> usize

impl DafnyUsize for u32

fn into_usize(self) -> usize

impl DafnyUsize for u64

fn into_usize(self) -> usize

impl DafnyUsize for u128

fn into_usize(self) -> usize

impl DafnyUsize for usize

fn into_usize(self) -> usize

Implementors

impl DafnyUsize for DafnyInt