Trait SpecEq 

pub trait SpecEq<Rhs>
where
    Rhs: ?Sized,
{ }

Implementations on Foreign Types

impl SpecEq<&char> for i8

Available on verus_keep_ghost only.

impl SpecEq<&char> for i16

Available on verus_keep_ghost only.

impl SpecEq<&char> for i32

Available on verus_keep_ghost only.

impl SpecEq<&char> for i64

Available on verus_keep_ghost only.

impl SpecEq<&char> for i128

Available on verus_keep_ghost only.

impl SpecEq<&char> for isize

Available on verus_keep_ghost only.

impl SpecEq<&char> for u8

Available on verus_keep_ghost only.

impl SpecEq<&char> for u16

Available on verus_keep_ghost only.

impl SpecEq<&char> for u32

Available on verus_keep_ghost only.

impl SpecEq<&char> for u64

Available on verus_keep_ghost only.

impl SpecEq<&char> for u128

Available on verus_keep_ghost only.

impl SpecEq<&char> for usize

Available on verus_keep_ghost only.

impl SpecEq<&i8> for char

Available on verus_keep_ghost only.

impl SpecEq<&i8> for i16

Available on verus_keep_ghost only.

impl SpecEq<&i8> for i32

Available on verus_keep_ghost only.

impl SpecEq<&i8> for i64

Available on verus_keep_ghost only.

impl SpecEq<&i8> for i128

Available on verus_keep_ghost only.

impl SpecEq<&i8> for isize

Available on verus_keep_ghost only.

impl SpecEq<&i8> for u8

Available on verus_keep_ghost only.

impl SpecEq<&i8> for u16

Available on verus_keep_ghost only.

impl SpecEq<&i8> for u32

Available on verus_keep_ghost only.

impl SpecEq<&i8> for u64

Available on verus_keep_ghost only.

impl SpecEq<&i8> for u128

Available on verus_keep_ghost only.

impl SpecEq<&i8> for usize

Available on verus_keep_ghost only.

impl SpecEq<&i16> for char

Available on verus_keep_ghost only.

impl SpecEq<&i16> for i8

Available on verus_keep_ghost only.

impl SpecEq<&i16> for i32

Available on verus_keep_ghost only.

impl SpecEq<&i16> for i64

Available on verus_keep_ghost only.

impl SpecEq<&i16> for i128

Available on verus_keep_ghost only.

impl SpecEq<&i16> for isize

Available on verus_keep_ghost only.

impl SpecEq<&i16> for u8

Available on verus_keep_ghost only.

impl SpecEq<&i16> for u16

Available on verus_keep_ghost only.

impl SpecEq<&i16> for u32

Available on verus_keep_ghost only.

impl SpecEq<&i16> for u64

Available on verus_keep_ghost only.

impl SpecEq<&i16> for u128

Available on verus_keep_ghost only.

impl SpecEq<&i16> for usize

Available on verus_keep_ghost only.

impl SpecEq<&i32> for char

Available on verus_keep_ghost only.

impl SpecEq<&i32> for i8

Available on verus_keep_ghost only.

impl SpecEq<&i32> for i16

Available on verus_keep_ghost only.

impl SpecEq<&i32> for i64

Available on verus_keep_ghost only.

impl SpecEq<&i32> for i128

Available on verus_keep_ghost only.

impl SpecEq<&i32> for isize

Available on verus_keep_ghost only.

impl SpecEq<&i32> for u8

Available on verus_keep_ghost only.

impl SpecEq<&i32> for u16

Available on verus_keep_ghost only.

impl SpecEq<&i32> for u32

Available on verus_keep_ghost only.

impl SpecEq<&i32> for u64

Available on verus_keep_ghost only.

impl SpecEq<&i32> for u128

Available on verus_keep_ghost only.

impl SpecEq<&i32> for usize

Available on verus_keep_ghost only.

impl SpecEq<&i64> for char

Available on verus_keep_ghost only.

impl SpecEq<&i64> for i8

Available on verus_keep_ghost only.

impl SpecEq<&i64> for i16

Available on verus_keep_ghost only.

impl SpecEq<&i64> for i32

Available on verus_keep_ghost only.

impl SpecEq<&i64> for i128

Available on verus_keep_ghost only.

impl SpecEq<&i64> for isize

Available on verus_keep_ghost only.

impl SpecEq<&i64> for u8

Available on verus_keep_ghost only.

impl SpecEq<&i64> for u16

Available on verus_keep_ghost only.

impl SpecEq<&i64> for u32

Available on verus_keep_ghost only.

impl SpecEq<&i64> for u64

Available on verus_keep_ghost only.

impl SpecEq<&i64> for u128

Available on verus_keep_ghost only.

impl SpecEq<&i64> for usize

Available on verus_keep_ghost only.

impl SpecEq<&i128> for char

Available on verus_keep_ghost only.

impl SpecEq<&i128> for i8

Available on verus_keep_ghost only.

impl SpecEq<&i128> for i16

Available on verus_keep_ghost only.

impl SpecEq<&i128> for i32

Available on verus_keep_ghost only.

impl SpecEq<&i128> for i64

Available on verus_keep_ghost only.

impl SpecEq<&i128> for isize

Available on verus_keep_ghost only.

impl SpecEq<&i128> for u8

Available on verus_keep_ghost only.

impl SpecEq<&i128> for u16

Available on verus_keep_ghost only.

impl SpecEq<&i128> for u32

Available on verus_keep_ghost only.

impl SpecEq<&i128> for u64

Available on verus_keep_ghost only.

impl SpecEq<&i128> for u128

Available on verus_keep_ghost only.

impl SpecEq<&i128> for usize

Available on verus_keep_ghost only.

impl SpecEq<&isize> for char

Available on verus_keep_ghost only.

impl SpecEq<&isize> for i8

Available on verus_keep_ghost only.

impl SpecEq<&isize> for i16

Available on verus_keep_ghost only.

impl SpecEq<&isize> for i32

Available on verus_keep_ghost only.

impl SpecEq<&isize> for i64

Available on verus_keep_ghost only.

impl SpecEq<&isize> for i128

Available on verus_keep_ghost only.

impl SpecEq<&isize> for u8

Available on verus_keep_ghost only.

impl SpecEq<&isize> for u16

Available on verus_keep_ghost only.

impl SpecEq<&isize> for u32

Available on verus_keep_ghost only.

impl SpecEq<&isize> for u64

Available on verus_keep_ghost only.

impl SpecEq<&isize> for u128

Available on verus_keep_ghost only.

impl SpecEq<&isize> for usize

Available on verus_keep_ghost only.

impl SpecEq<&u8> for char

Available on verus_keep_ghost only.

impl SpecEq<&u8> for i8

Available on verus_keep_ghost only.

impl SpecEq<&u8> for i16

Available on verus_keep_ghost only.

impl SpecEq<&u8> for i32

Available on verus_keep_ghost only.

impl SpecEq<&u8> for i64

Available on verus_keep_ghost only.

impl SpecEq<&u8> for i128

Available on verus_keep_ghost only.

impl SpecEq<&u8> for isize

Available on verus_keep_ghost only.

impl SpecEq<&u8> for u16

Available on verus_keep_ghost only.

impl SpecEq<&u8> for u32

Available on verus_keep_ghost only.

impl SpecEq<&u8> for u64

Available on verus_keep_ghost only.

impl SpecEq<&u8> for u128

Available on verus_keep_ghost only.

impl SpecEq<&u8> for usize

Available on verus_keep_ghost only.

impl SpecEq<&u16> for char

Available on verus_keep_ghost only.

impl SpecEq<&u16> for i8

Available on verus_keep_ghost only.

impl SpecEq<&u16> for i16

Available on verus_keep_ghost only.

impl SpecEq<&u16> for i32

Available on verus_keep_ghost only.

impl SpecEq<&u16> for i64

Available on verus_keep_ghost only.

impl SpecEq<&u16> for i128

Available on verus_keep_ghost only.

impl SpecEq<&u16> for isize

Available on verus_keep_ghost only.

impl SpecEq<&u16> for u8

Available on verus_keep_ghost only.

impl SpecEq<&u16> for u32

Available on verus_keep_ghost only.

impl SpecEq<&u16> for u64

Available on verus_keep_ghost only.

impl SpecEq<&u16> for u128

Available on verus_keep_ghost only.

impl SpecEq<&u16> for usize

Available on verus_keep_ghost only.

impl SpecEq<&u32> for char

Available on verus_keep_ghost only.

impl SpecEq<&u32> for i8

Available on verus_keep_ghost only.

impl SpecEq<&u32> for i16

Available on verus_keep_ghost only.

impl SpecEq<&u32> for i32

Available on verus_keep_ghost only.

impl SpecEq<&u32> for i64

Available on verus_keep_ghost only.

impl SpecEq<&u32> for i128

Available on verus_keep_ghost only.

impl SpecEq<&u32> for isize

Available on verus_keep_ghost only.

impl SpecEq<&u32> for u8

Available on verus_keep_ghost only.

impl SpecEq<&u32> for u16

Available on verus_keep_ghost only.

impl SpecEq<&u32> for u64

Available on verus_keep_ghost only.

impl SpecEq<&u32> for u128

Available on verus_keep_ghost only.

impl SpecEq<&u32> for usize

Available on verus_keep_ghost only.

impl SpecEq<&u64> for char

Available on verus_keep_ghost only.

impl SpecEq<&u64> for i8

Available on verus_keep_ghost only.

impl SpecEq<&u64> for i16

Available on verus_keep_ghost only.

impl SpecEq<&u64> for i32

Available on verus_keep_ghost only.

impl SpecEq<&u64> for i64

Available on verus_keep_ghost only.

impl SpecEq<&u64> for i128

Available on verus_keep_ghost only.

impl SpecEq<&u64> for isize

Available on verus_keep_ghost only.

impl SpecEq<&u64> for u8

Available on verus_keep_ghost only.

impl SpecEq<&u64> for u16

Available on verus_keep_ghost only.

impl SpecEq<&u64> for u32

Available on verus_keep_ghost only.

impl SpecEq<&u64> for u128

Available on verus_keep_ghost only.

impl SpecEq<&u64> for usize

Available on verus_keep_ghost only.

impl SpecEq<&u128> for char

Available on verus_keep_ghost only.

impl SpecEq<&u128> for i8

Available on verus_keep_ghost only.

impl SpecEq<&u128> for i16

Available on verus_keep_ghost only.

impl SpecEq<&u128> for i32

Available on verus_keep_ghost only.

impl SpecEq<&u128> for i64

Available on verus_keep_ghost only.

impl SpecEq<&u128> for i128

Available on verus_keep_ghost only.

impl SpecEq<&u128> for isize

Available on verus_keep_ghost only.

impl SpecEq<&u128> for u8

Available on verus_keep_ghost only.

impl SpecEq<&u128> for u16

Available on verus_keep_ghost only.

impl SpecEq<&u128> for u32

Available on verus_keep_ghost only.

impl SpecEq<&u128> for u64

Available on verus_keep_ghost only.

impl SpecEq<&u128> for usize

Available on verus_keep_ghost only.

impl SpecEq<&usize> for char

Available on verus_keep_ghost only.

impl SpecEq<&usize> for i8

Available on verus_keep_ghost only.

impl SpecEq<&usize> for i16

Available on verus_keep_ghost only.

impl SpecEq<&usize> for i32

Available on verus_keep_ghost only.

impl SpecEq<&usize> for i64

Available on verus_keep_ghost only.

impl SpecEq<&usize> for i128

Available on verus_keep_ghost only.

impl SpecEq<&usize> for isize

Available on verus_keep_ghost only.

impl SpecEq<&usize> for u8

Available on verus_keep_ghost only.

impl SpecEq<&usize> for u16

Available on verus_keep_ghost only.

impl SpecEq<&usize> for u32

Available on verus_keep_ghost only.

impl SpecEq<&usize> for u64

Available on verus_keep_ghost only.

impl SpecEq<&usize> for u128

Available on verus_keep_ghost only.

impl SpecEq<&int> for char

Available on verus_keep_ghost only.

impl SpecEq<&int> for i8

Available on verus_keep_ghost only.

impl SpecEq<&int> for i16

Available on verus_keep_ghost only.

impl SpecEq<&int> for i32

Available on verus_keep_ghost only.

impl SpecEq<&int> for i64

Available on verus_keep_ghost only.

impl SpecEq<&int> for i128

Available on verus_keep_ghost only.

impl SpecEq<&int> for isize

Available on verus_keep_ghost only.

impl SpecEq<&int> for u8

Available on verus_keep_ghost only.

impl SpecEq<&int> for u16

Available on verus_keep_ghost only.

impl SpecEq<&int> for u32

Available on verus_keep_ghost only.

impl SpecEq<&int> for u64

Available on verus_keep_ghost only.

impl SpecEq<&int> for u128

Available on verus_keep_ghost only.

impl SpecEq<&int> for usize

Available on verus_keep_ghost only.

impl SpecEq<&nat> for char

Available on verus_keep_ghost only.

impl SpecEq<&nat> for i8

Available on verus_keep_ghost only.

impl SpecEq<&nat> for i16

Available on verus_keep_ghost only.

impl SpecEq<&nat> for i32

Available on verus_keep_ghost only.

impl SpecEq<&nat> for i64

Available on verus_keep_ghost only.

impl SpecEq<&nat> for i128

Available on verus_keep_ghost only.

impl SpecEq<&nat> for isize

Available on verus_keep_ghost only.

impl SpecEq<&nat> for u8

Available on verus_keep_ghost only.

impl SpecEq<&nat> for u16

Available on verus_keep_ghost only.

impl SpecEq<&nat> for u32

Available on verus_keep_ghost only.

impl SpecEq<&nat> for u64

Available on verus_keep_ghost only.

impl SpecEq<&nat> for u128

Available on verus_keep_ghost only.

impl SpecEq<&nat> for usize

Available on verus_keep_ghost only.

impl SpecEq<char> for &i8

Available on verus_keep_ghost only.

impl SpecEq<char> for &i16

Available on verus_keep_ghost only.

impl SpecEq<char> for &i32

Available on verus_keep_ghost only.

impl SpecEq<char> for &i64

Available on verus_keep_ghost only.

impl SpecEq<char> for &i128

Available on verus_keep_ghost only.

impl SpecEq<char> for &isize

Available on verus_keep_ghost only.

impl SpecEq<char> for &u8

Available on verus_keep_ghost only.

impl SpecEq<char> for &u16

Available on verus_keep_ghost only.

impl SpecEq<char> for &u32

Available on verus_keep_ghost only.

impl SpecEq<char> for &u64

Available on verus_keep_ghost only.

impl SpecEq<char> for &u128

Available on verus_keep_ghost only.

impl SpecEq<char> for &usize

Available on verus_keep_ghost only.

impl SpecEq<char> for i8

Available on verus_keep_ghost only.

impl SpecEq<char> for i16

Available on verus_keep_ghost only.

impl SpecEq<char> for i32

Available on verus_keep_ghost only.

impl SpecEq<char> for i64

Available on verus_keep_ghost only.

impl SpecEq<char> for i128

Available on verus_keep_ghost only.

impl SpecEq<char> for isize

Available on verus_keep_ghost only.

impl SpecEq<char> for u8

Available on verus_keep_ghost only.

impl SpecEq<char> for u16

Available on verus_keep_ghost only.

impl SpecEq<char> for u32

Available on verus_keep_ghost only.

impl SpecEq<char> for u64

Available on verus_keep_ghost only.

impl SpecEq<char> for u128

Available on verus_keep_ghost only.

impl SpecEq<char> for usize

Available on verus_keep_ghost only.

impl SpecEq<i8> for &char

Available on verus_keep_ghost only.

impl SpecEq<i8> for &i16

Available on verus_keep_ghost only.

impl SpecEq<i8> for &i32

Available on verus_keep_ghost only.

impl SpecEq<i8> for &i64

Available on verus_keep_ghost only.

impl SpecEq<i8> for &i128

Available on verus_keep_ghost only.

impl SpecEq<i8> for &isize

Available on verus_keep_ghost only.

impl SpecEq<i8> for &u8

Available on verus_keep_ghost only.

impl SpecEq<i8> for &u16

Available on verus_keep_ghost only.

impl SpecEq<i8> for &u32

Available on verus_keep_ghost only.

impl SpecEq<i8> for &u64

Available on verus_keep_ghost only.

impl SpecEq<i8> for &u128

Available on verus_keep_ghost only.

impl SpecEq<i8> for &usize

Available on verus_keep_ghost only.

impl SpecEq<i8> for char

Available on verus_keep_ghost only.

impl SpecEq<i8> for i16

Available on verus_keep_ghost only.

impl SpecEq<i8> for i32

Available on verus_keep_ghost only.

impl SpecEq<i8> for i64

Available on verus_keep_ghost only.

impl SpecEq<i8> for i128

Available on verus_keep_ghost only.

impl SpecEq<i8> for isize

Available on verus_keep_ghost only.

impl SpecEq<i8> for u8

Available on verus_keep_ghost only.

impl SpecEq<i8> for u16

Available on verus_keep_ghost only.

impl SpecEq<i8> for u32

Available on verus_keep_ghost only.

impl SpecEq<i8> for u64

Available on verus_keep_ghost only.

impl SpecEq<i8> for u128

Available on verus_keep_ghost only.

impl SpecEq<i8> for usize

Available on verus_keep_ghost only.

impl SpecEq<i16> for &char

Available on verus_keep_ghost only.

impl SpecEq<i16> for &i8

Available on verus_keep_ghost only.

impl SpecEq<i16> for &i32

Available on verus_keep_ghost only.

impl SpecEq<i16> for &i64

Available on verus_keep_ghost only.

impl SpecEq<i16> for &i128

Available on verus_keep_ghost only.

impl SpecEq<i16> for &isize

Available on verus_keep_ghost only.

impl SpecEq<i16> for &u8

Available on verus_keep_ghost only.

impl SpecEq<i16> for &u16

Available on verus_keep_ghost only.

impl SpecEq<i16> for &u32

Available on verus_keep_ghost only.

impl SpecEq<i16> for &u64

Available on verus_keep_ghost only.

impl SpecEq<i16> for &u128

Available on verus_keep_ghost only.

impl SpecEq<i16> for &usize

Available on verus_keep_ghost only.

impl SpecEq<i16> for char

Available on verus_keep_ghost only.

impl SpecEq<i16> for i8

Available on verus_keep_ghost only.

impl SpecEq<i16> for i32

Available on verus_keep_ghost only.

impl SpecEq<i16> for i64

Available on verus_keep_ghost only.

impl SpecEq<i16> for i128

Available on verus_keep_ghost only.

impl SpecEq<i16> for isize

Available on verus_keep_ghost only.

impl SpecEq<i16> for u8

Available on verus_keep_ghost only.

impl SpecEq<i16> for u16

Available on verus_keep_ghost only.

impl SpecEq<i16> for u32

Available on verus_keep_ghost only.

impl SpecEq<i16> for u64

Available on verus_keep_ghost only.

impl SpecEq<i16> for u128

Available on verus_keep_ghost only.

impl SpecEq<i16> for usize

Available on verus_keep_ghost only.

impl SpecEq<i32> for &char

Available on verus_keep_ghost only.

impl SpecEq<i32> for &i8

Available on verus_keep_ghost only.

impl SpecEq<i32> for &i16

Available on verus_keep_ghost only.

impl SpecEq<i32> for &i64

Available on verus_keep_ghost only.

impl SpecEq<i32> for &i128

Available on verus_keep_ghost only.

impl SpecEq<i32> for &isize

Available on verus_keep_ghost only.

impl SpecEq<i32> for &u8

Available on verus_keep_ghost only.

impl SpecEq<i32> for &u16

Available on verus_keep_ghost only.

impl SpecEq<i32> for &u32

Available on verus_keep_ghost only.

impl SpecEq<i32> for &u64

Available on verus_keep_ghost only.

impl SpecEq<i32> for &u128

Available on verus_keep_ghost only.

impl SpecEq<i32> for &usize

Available on verus_keep_ghost only.

impl SpecEq<i32> for char

Available on verus_keep_ghost only.

impl SpecEq<i32> for i8

Available on verus_keep_ghost only.

impl SpecEq<i32> for i16

Available on verus_keep_ghost only.

impl SpecEq<i32> for i64

Available on verus_keep_ghost only.

impl SpecEq<i32> for i128

Available on verus_keep_ghost only.

impl SpecEq<i32> for isize

Available on verus_keep_ghost only.

impl SpecEq<i32> for u8

Available on verus_keep_ghost only.

impl SpecEq<i32> for u16

Available on verus_keep_ghost only.

impl SpecEq<i32> for u32

Available on verus_keep_ghost only.

impl SpecEq<i32> for u64

Available on verus_keep_ghost only.

impl SpecEq<i32> for u128

Available on verus_keep_ghost only.

impl SpecEq<i32> for usize

Available on verus_keep_ghost only.

impl SpecEq<i64> for &char

Available on verus_keep_ghost only.

impl SpecEq<i64> for &i8

Available on verus_keep_ghost only.

impl SpecEq<i64> for &i16

Available on verus_keep_ghost only.

impl SpecEq<i64> for &i32

Available on verus_keep_ghost only.

impl SpecEq<i64> for &i128

Available on verus_keep_ghost only.

impl SpecEq<i64> for &isize

Available on verus_keep_ghost only.

impl SpecEq<i64> for &u8

Available on verus_keep_ghost only.

impl SpecEq<i64> for &u16

Available on verus_keep_ghost only.

impl SpecEq<i64> for &u32

Available on verus_keep_ghost only.

impl SpecEq<i64> for &u64

Available on verus_keep_ghost only.

impl SpecEq<i64> for &u128

Available on verus_keep_ghost only.

impl SpecEq<i64> for &usize

Available on verus_keep_ghost only.

impl SpecEq<i64> for char

Available on verus_keep_ghost only.

impl SpecEq<i64> for i8

Available on verus_keep_ghost only.

impl SpecEq<i64> for i16

Available on verus_keep_ghost only.

impl SpecEq<i64> for i32

Available on verus_keep_ghost only.

impl SpecEq<i64> for i128

Available on verus_keep_ghost only.

impl SpecEq<i64> for isize

Available on verus_keep_ghost only.

impl SpecEq<i64> for u8

Available on verus_keep_ghost only.

impl SpecEq<i64> for u16

Available on verus_keep_ghost only.

impl SpecEq<i64> for u32

Available on verus_keep_ghost only.

impl SpecEq<i64> for u64

Available on verus_keep_ghost only.

impl SpecEq<i64> for u128

Available on verus_keep_ghost only.

impl SpecEq<i64> for usize

Available on verus_keep_ghost only.

impl SpecEq<i128> for &char

Available on verus_keep_ghost only.

impl SpecEq<i128> for &i8

Available on verus_keep_ghost only.

impl SpecEq<i128> for &i16

Available on verus_keep_ghost only.

impl SpecEq<i128> for &i32

Available on verus_keep_ghost only.

impl SpecEq<i128> for &i64

Available on verus_keep_ghost only.

impl SpecEq<i128> for &isize

Available on verus_keep_ghost only.

impl SpecEq<i128> for &u8

Available on verus_keep_ghost only.

impl SpecEq<i128> for &u16

Available on verus_keep_ghost only.

impl SpecEq<i128> for &u32

Available on verus_keep_ghost only.

impl SpecEq<i128> for &u64

Available on verus_keep_ghost only.

impl SpecEq<i128> for &u128

Available on verus_keep_ghost only.

impl SpecEq<i128> for &usize

Available on verus_keep_ghost only.

impl SpecEq<i128> for char

Available on verus_keep_ghost only.

impl SpecEq<i128> for i8

Available on verus_keep_ghost only.

impl SpecEq<i128> for i16

Available on verus_keep_ghost only.

impl SpecEq<i128> for i32

Available on verus_keep_ghost only.

impl SpecEq<i128> for i64

Available on verus_keep_ghost only.

impl SpecEq<i128> for isize

Available on verus_keep_ghost only.

impl SpecEq<i128> for u8

Available on verus_keep_ghost only.

impl SpecEq<i128> for u16

Available on verus_keep_ghost only.

impl SpecEq<i128> for u32

Available on verus_keep_ghost only.

impl SpecEq<i128> for u64

Available on verus_keep_ghost only.

impl SpecEq<i128> for u128

Available on verus_keep_ghost only.

impl SpecEq<i128> for usize

Available on verus_keep_ghost only.

impl SpecEq<isize> for &char

Available on verus_keep_ghost only.

impl SpecEq<isize> for &i8

Available on verus_keep_ghost only.

impl SpecEq<isize> for &i16

Available on verus_keep_ghost only.

impl SpecEq<isize> for &i32

Available on verus_keep_ghost only.

impl SpecEq<isize> for &i64

Available on verus_keep_ghost only.

impl SpecEq<isize> for &i128

Available on verus_keep_ghost only.

impl SpecEq<isize> for &u8

Available on verus_keep_ghost only.

impl SpecEq<isize> for &u16

Available on verus_keep_ghost only.

impl SpecEq<isize> for &u32

Available on verus_keep_ghost only.

impl SpecEq<isize> for &u64

Available on verus_keep_ghost only.

impl SpecEq<isize> for &u128

Available on verus_keep_ghost only.

impl SpecEq<isize> for &usize

Available on verus_keep_ghost only.

impl SpecEq<isize> for char

Available on verus_keep_ghost only.

impl SpecEq<isize> for i8

Available on verus_keep_ghost only.

impl SpecEq<isize> for i16

Available on verus_keep_ghost only.

impl SpecEq<isize> for i32

Available on verus_keep_ghost only.

impl SpecEq<isize> for i64

Available on verus_keep_ghost only.

impl SpecEq<isize> for i128

Available on verus_keep_ghost only.

impl SpecEq<isize> for u8

Available on verus_keep_ghost only.

impl SpecEq<isize> for u16

Available on verus_keep_ghost only.

impl SpecEq<isize> for u32

Available on verus_keep_ghost only.

impl SpecEq<isize> for u64

Available on verus_keep_ghost only.

impl SpecEq<isize> for u128

Available on verus_keep_ghost only.

impl SpecEq<isize> for usize

Available on verus_keep_ghost only.

impl SpecEq<u8> for &char

Available on verus_keep_ghost only.

impl SpecEq<u8> for &i8

Available on verus_keep_ghost only.

impl SpecEq<u8> for &i16

Available on verus_keep_ghost only.

impl SpecEq<u8> for &i32

Available on verus_keep_ghost only.

impl SpecEq<u8> for &i64

Available on verus_keep_ghost only.

impl SpecEq<u8> for &i128

Available on verus_keep_ghost only.

impl SpecEq<u8> for &isize

Available on verus_keep_ghost only.

impl SpecEq<u8> for &u16

Available on verus_keep_ghost only.

impl SpecEq<u8> for &u32

Available on verus_keep_ghost only.

impl SpecEq<u8> for &u64

Available on verus_keep_ghost only.

impl SpecEq<u8> for &u128

Available on verus_keep_ghost only.

impl SpecEq<u8> for &usize

Available on verus_keep_ghost only.

impl SpecEq<u8> for char

Available on verus_keep_ghost only.

impl SpecEq<u8> for i8

Available on verus_keep_ghost only.

impl SpecEq<u8> for i16

Available on verus_keep_ghost only.

impl SpecEq<u8> for i32

Available on verus_keep_ghost only.

impl SpecEq<u8> for i64

Available on verus_keep_ghost only.

impl SpecEq<u8> for i128

Available on verus_keep_ghost only.

impl SpecEq<u8> for isize

Available on verus_keep_ghost only.

impl SpecEq<u8> for u16

Available on verus_keep_ghost only.

impl SpecEq<u8> for u32

Available on verus_keep_ghost only.

impl SpecEq<u8> for u64

Available on verus_keep_ghost only.

impl SpecEq<u8> for u128

Available on verus_keep_ghost only.

impl SpecEq<u8> for usize

Available on verus_keep_ghost only.

impl SpecEq<u16> for &char

Available on verus_keep_ghost only.

impl SpecEq<u16> for &i8

Available on verus_keep_ghost only.

impl SpecEq<u16> for &i16

Available on verus_keep_ghost only.

impl SpecEq<u16> for &i32

Available on verus_keep_ghost only.

impl SpecEq<u16> for &i64

Available on verus_keep_ghost only.

impl SpecEq<u16> for &i128

Available on verus_keep_ghost only.

impl SpecEq<u16> for &isize

Available on verus_keep_ghost only.

impl SpecEq<u16> for &u8

Available on verus_keep_ghost only.

impl SpecEq<u16> for &u32

Available on verus_keep_ghost only.

impl SpecEq<u16> for &u64

Available on verus_keep_ghost only.

impl SpecEq<u16> for &u128

Available on verus_keep_ghost only.

impl SpecEq<u16> for &usize

Available on verus_keep_ghost only.

impl SpecEq<u16> for char

Available on verus_keep_ghost only.

impl SpecEq<u16> for i8

Available on verus_keep_ghost only.

impl SpecEq<u16> for i16

Available on verus_keep_ghost only.

impl SpecEq<u16> for i32

Available on verus_keep_ghost only.

impl SpecEq<u16> for i64

Available on verus_keep_ghost only.

impl SpecEq<u16> for i128

Available on verus_keep_ghost only.

impl SpecEq<u16> for isize

Available on verus_keep_ghost only.

impl SpecEq<u16> for u8

Available on verus_keep_ghost only.

impl SpecEq<u16> for u32

Available on verus_keep_ghost only.

impl SpecEq<u16> for u64

Available on verus_keep_ghost only.

impl SpecEq<u16> for u128

Available on verus_keep_ghost only.

impl SpecEq<u16> for usize

Available on verus_keep_ghost only.

impl SpecEq<u32> for &char

Available on verus_keep_ghost only.

impl SpecEq<u32> for &i8

Available on verus_keep_ghost only.

impl SpecEq<u32> for &i16

Available on verus_keep_ghost only.

impl SpecEq<u32> for &i32

Available on verus_keep_ghost only.

impl SpecEq<u32> for &i64

Available on verus_keep_ghost only.

impl SpecEq<u32> for &i128

Available on verus_keep_ghost only.

impl SpecEq<u32> for &isize

Available on verus_keep_ghost only.

impl SpecEq<u32> for &u8

Available on verus_keep_ghost only.

impl SpecEq<u32> for &u16

Available on verus_keep_ghost only.

impl SpecEq<u32> for &u64

Available on verus_keep_ghost only.

impl SpecEq<u32> for &u128

Available on verus_keep_ghost only.

impl SpecEq<u32> for &usize

Available on verus_keep_ghost only.

impl SpecEq<u32> for char

Available on verus_keep_ghost only.

impl SpecEq<u32> for i8

Available on verus_keep_ghost only.

impl SpecEq<u32> for i16

Available on verus_keep_ghost only.

impl SpecEq<u32> for i32

Available on verus_keep_ghost only.

impl SpecEq<u32> for i64

Available on verus_keep_ghost only.

impl SpecEq<u32> for i128

Available on verus_keep_ghost only.

impl SpecEq<u32> for isize

Available on verus_keep_ghost only.

impl SpecEq<u32> for u8

Available on verus_keep_ghost only.

impl SpecEq<u32> for u16

Available on verus_keep_ghost only.

impl SpecEq<u32> for u64

Available on verus_keep_ghost only.

impl SpecEq<u32> for u128

Available on verus_keep_ghost only.

impl SpecEq<u32> for usize

Available on verus_keep_ghost only.

impl SpecEq<u64> for &char

Available on verus_keep_ghost only.

impl SpecEq<u64> for &i8

Available on verus_keep_ghost only.

impl SpecEq<u64> for &i16

Available on verus_keep_ghost only.

impl SpecEq<u64> for &i32

Available on verus_keep_ghost only.

impl SpecEq<u64> for &i64

Available on verus_keep_ghost only.

impl SpecEq<u64> for &i128

Available on verus_keep_ghost only.

impl SpecEq<u64> for &isize

Available on verus_keep_ghost only.

impl SpecEq<u64> for &u8

Available on verus_keep_ghost only.

impl SpecEq<u64> for &u16

Available on verus_keep_ghost only.

impl SpecEq<u64> for &u32

Available on verus_keep_ghost only.

impl SpecEq<u64> for &u128

Available on verus_keep_ghost only.

impl SpecEq<u64> for &usize

Available on verus_keep_ghost only.

impl SpecEq<u64> for char

Available on verus_keep_ghost only.

impl SpecEq<u64> for i8

Available on verus_keep_ghost only.

impl SpecEq<u64> for i16

Available on verus_keep_ghost only.

impl SpecEq<u64> for i32

Available on verus_keep_ghost only.

impl SpecEq<u64> for i64

Available on verus_keep_ghost only.

impl SpecEq<u64> for i128

Available on verus_keep_ghost only.

impl SpecEq<u64> for isize

Available on verus_keep_ghost only.

impl SpecEq<u64> for u8

Available on verus_keep_ghost only.

impl SpecEq<u64> for u16

Available on verus_keep_ghost only.

impl SpecEq<u64> for u32

Available on verus_keep_ghost only.

impl SpecEq<u64> for u128

Available on verus_keep_ghost only.

impl SpecEq<u64> for usize

Available on verus_keep_ghost only.

impl SpecEq<u128> for &char

Available on verus_keep_ghost only.

impl SpecEq<u128> for &i8

Available on verus_keep_ghost only.

impl SpecEq<u128> for &i16

Available on verus_keep_ghost only.

impl SpecEq<u128> for &i32

Available on verus_keep_ghost only.

impl SpecEq<u128> for &i64

Available on verus_keep_ghost only.

impl SpecEq<u128> for &i128

Available on verus_keep_ghost only.

impl SpecEq<u128> for &isize

Available on verus_keep_ghost only.

impl SpecEq<u128> for &u8

Available on verus_keep_ghost only.

impl SpecEq<u128> for &u16

Available on verus_keep_ghost only.

impl SpecEq<u128> for &u32

Available on verus_keep_ghost only.

impl SpecEq<u128> for &u64

Available on verus_keep_ghost only.

impl SpecEq<u128> for &usize

Available on verus_keep_ghost only.

impl SpecEq<u128> for char

Available on verus_keep_ghost only.

impl SpecEq<u128> for i8

Available on verus_keep_ghost only.

impl SpecEq<u128> for i16

Available on verus_keep_ghost only.

impl SpecEq<u128> for i32

Available on verus_keep_ghost only.

impl SpecEq<u128> for i64

Available on verus_keep_ghost only.

impl SpecEq<u128> for i128

Available on verus_keep_ghost only.

impl SpecEq<u128> for isize

Available on verus_keep_ghost only.

impl SpecEq<u128> for u8

Available on verus_keep_ghost only.

impl SpecEq<u128> for u16

Available on verus_keep_ghost only.

impl SpecEq<u128> for u32

Available on verus_keep_ghost only.

impl SpecEq<u128> for u64

Available on verus_keep_ghost only.

impl SpecEq<u128> for usize

Available on verus_keep_ghost only.

impl SpecEq<usize> for &char

Available on verus_keep_ghost only.

impl SpecEq<usize> for &i8

Available on verus_keep_ghost only.

impl SpecEq<usize> for &i16

Available on verus_keep_ghost only.

impl SpecEq<usize> for &i32

Available on verus_keep_ghost only.

impl SpecEq<usize> for &i64

Available on verus_keep_ghost only.

impl SpecEq<usize> for &i128

Available on verus_keep_ghost only.

impl SpecEq<usize> for &isize

Available on verus_keep_ghost only.

impl SpecEq<usize> for &u8

Available on verus_keep_ghost only.

impl SpecEq<usize> for &u16

Available on verus_keep_ghost only.

impl SpecEq<usize> for &u32

Available on verus_keep_ghost only.

impl SpecEq<usize> for &u64

Available on verus_keep_ghost only.

impl SpecEq<usize> for &u128

Available on verus_keep_ghost only.

impl SpecEq<usize> for char

Available on verus_keep_ghost only.

impl SpecEq<usize> for i8

Available on verus_keep_ghost only.

impl SpecEq<usize> for i16

Available on verus_keep_ghost only.

impl SpecEq<usize> for i32

Available on verus_keep_ghost only.

impl SpecEq<usize> for i64

Available on verus_keep_ghost only.

impl SpecEq<usize> for i128

Available on verus_keep_ghost only.

impl SpecEq<usize> for isize

Available on verus_keep_ghost only.

impl SpecEq<usize> for u8

Available on verus_keep_ghost only.

impl SpecEq<usize> for u16

Available on verus_keep_ghost only.

impl SpecEq<usize> for u32

Available on verus_keep_ghost only.

impl SpecEq<usize> for u64

Available on verus_keep_ghost only.

impl SpecEq<usize> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for usize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for char

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for i8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for i16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for i32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for i64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for i128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for isize

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for u8

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for u16

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for u32

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for u64

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for u128

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for usize

Available on verus_keep_ghost only.

impl SpecEq<int> for &char

Available on verus_keep_ghost only.

impl SpecEq<int> for &i8

Available on verus_keep_ghost only.

impl SpecEq<int> for &i16

Available on verus_keep_ghost only.

impl SpecEq<int> for &i32

Available on verus_keep_ghost only.

impl SpecEq<int> for &i64

Available on verus_keep_ghost only.

impl SpecEq<int> for &i128

Available on verus_keep_ghost only.

impl SpecEq<int> for &isize

Available on verus_keep_ghost only.

impl SpecEq<int> for &u8

Available on verus_keep_ghost only.

impl SpecEq<int> for &u16

Available on verus_keep_ghost only.

impl SpecEq<int> for &u32

Available on verus_keep_ghost only.

impl SpecEq<int> for &u64

Available on verus_keep_ghost only.

impl SpecEq<int> for &u128

Available on verus_keep_ghost only.

impl SpecEq<int> for &usize

Available on verus_keep_ghost only.

impl SpecEq<int> for char

Available on verus_keep_ghost only.

impl SpecEq<int> for i8

Available on verus_keep_ghost only.

impl SpecEq<int> for i16

Available on verus_keep_ghost only.

impl SpecEq<int> for i32

Available on verus_keep_ghost only.

impl SpecEq<int> for i64

Available on verus_keep_ghost only.

impl SpecEq<int> for i128

Available on verus_keep_ghost only.

impl SpecEq<int> for isize

Available on verus_keep_ghost only.

impl SpecEq<int> for u8

Available on verus_keep_ghost only.

impl SpecEq<int> for u16

Available on verus_keep_ghost only.

impl SpecEq<int> for u32

Available on verus_keep_ghost only.

impl SpecEq<int> for u64

Available on verus_keep_ghost only.

impl SpecEq<int> for u128

Available on verus_keep_ghost only.

impl SpecEq<int> for usize

Available on verus_keep_ghost only.

impl SpecEq<nat> for &char

Available on verus_keep_ghost only.

impl SpecEq<nat> for &i8

Available on verus_keep_ghost only.

impl SpecEq<nat> for &i16

Available on verus_keep_ghost only.

impl SpecEq<nat> for &i32

Available on verus_keep_ghost only.

impl SpecEq<nat> for &i64

Available on verus_keep_ghost only.

impl SpecEq<nat> for &i128

Available on verus_keep_ghost only.

impl SpecEq<nat> for &isize

Available on verus_keep_ghost only.

impl SpecEq<nat> for &u8

Available on verus_keep_ghost only.

impl SpecEq<nat> for &u16

Available on verus_keep_ghost only.

impl SpecEq<nat> for &u32

Available on verus_keep_ghost only.

impl SpecEq<nat> for &u64

Available on verus_keep_ghost only.

impl SpecEq<nat> for &u128

Available on verus_keep_ghost only.

impl SpecEq<nat> for &usize

Available on verus_keep_ghost only.

impl SpecEq<nat> for char

Available on verus_keep_ghost only.

impl SpecEq<nat> for i8

Available on verus_keep_ghost only.

impl SpecEq<nat> for i16

Available on verus_keep_ghost only.

impl SpecEq<nat> for i32

Available on verus_keep_ghost only.

impl SpecEq<nat> for i64

Available on verus_keep_ghost only.

impl SpecEq<nat> for i128

Available on verus_keep_ghost only.

impl SpecEq<nat> for isize

Available on verus_keep_ghost only.

impl SpecEq<nat> for u8

Available on verus_keep_ghost only.

impl SpecEq<nat> for u16

Available on verus_keep_ghost only.

impl SpecEq<nat> for u32

Available on verus_keep_ghost only.

impl SpecEq<nat> for u64

Available on verus_keep_ghost only.

impl SpecEq<nat> for u128

Available on verus_keep_ghost only.

impl SpecEq<nat> for usize

Available on verus_keep_ghost only.

impl<A> SpecEq<*const A> for *mut A

where A: ?Sized,

Available on verus_keep_ghost only.

impl<A> SpecEq<*mut A> for *const A

where A: ?Sized,

Available on verus_keep_ghost only.

impl<A> SpecEq<A> for &A

where A: ?Sized,

Available on verus_keep_ghost only.

impl<A> SpecEq<A> for &mut A

where A: ?Sized,

Available on verus_keep_ghost only.

Implementors

impl SpecEq<&char> for int

Available on verus_keep_ghost only.

impl SpecEq<&char> for nat

Available on verus_keep_ghost only.

impl SpecEq<&i8> for int

Available on verus_keep_ghost only.

impl SpecEq<&i8> for nat

Available on verus_keep_ghost only.

impl SpecEq<&i16> for int

Available on verus_keep_ghost only.

impl SpecEq<&i16> for nat

Available on verus_keep_ghost only.

impl SpecEq<&i32> for int

Available on verus_keep_ghost only.

impl SpecEq<&i32> for nat

Available on verus_keep_ghost only.

impl SpecEq<&i64> for int

Available on verus_keep_ghost only.

impl SpecEq<&i64> for nat

Available on verus_keep_ghost only.

impl SpecEq<&i128> for int

Available on verus_keep_ghost only.

impl SpecEq<&i128> for nat

Available on verus_keep_ghost only.

impl SpecEq<&isize> for int

Available on verus_keep_ghost only.

impl SpecEq<&isize> for nat

Available on verus_keep_ghost only.

impl SpecEq<&u8> for int

Available on verus_keep_ghost only.

impl SpecEq<&u8> for nat

Available on verus_keep_ghost only.

impl SpecEq<&u16> for int

Available on verus_keep_ghost only.

impl SpecEq<&u16> for nat

Available on verus_keep_ghost only.

impl SpecEq<&u32> for int

Available on verus_keep_ghost only.

impl SpecEq<&u32> for nat

Available on verus_keep_ghost only.

impl SpecEq<&u64> for int

Available on verus_keep_ghost only.

impl SpecEq<&u64> for nat

Available on verus_keep_ghost only.

impl SpecEq<&u128> for int

Available on verus_keep_ghost only.

impl SpecEq<&u128> for nat

Available on verus_keep_ghost only.

impl SpecEq<&usize> for int

Available on verus_keep_ghost only.

impl SpecEq<&usize> for nat

Available on verus_keep_ghost only.

impl SpecEq<&int> for nat

Available on verus_keep_ghost only.

impl SpecEq<&nat> for int

Available on verus_keep_ghost only.

impl SpecEq<char> for &int

Available on verus_keep_ghost only.

impl SpecEq<char> for &nat

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<char> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<char> for int

Available on verus_keep_ghost only.

impl SpecEq<char> for nat

Available on verus_keep_ghost only.

impl SpecEq<i8> for &int

Available on verus_keep_ghost only.

impl SpecEq<i8> for &nat

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<i8> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<i8> for int

Available on verus_keep_ghost only.

impl SpecEq<i8> for nat

Available on verus_keep_ghost only.

impl SpecEq<i16> for &int

Available on verus_keep_ghost only.

impl SpecEq<i16> for &nat

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<i16> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<i16> for int

Available on verus_keep_ghost only.

impl SpecEq<i16> for nat

Available on verus_keep_ghost only.

impl SpecEq<i32> for &int

Available on verus_keep_ghost only.

impl SpecEq<i32> for &nat

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<i32> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<i32> for int

Available on verus_keep_ghost only.

impl SpecEq<i32> for nat

Available on verus_keep_ghost only.

impl SpecEq<i64> for &int

Available on verus_keep_ghost only.

impl SpecEq<i64> for &nat

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<i64> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<i64> for int

Available on verus_keep_ghost only.

impl SpecEq<i64> for nat

Available on verus_keep_ghost only.

impl SpecEq<i128> for &int

Available on verus_keep_ghost only.

impl SpecEq<i128> for &nat

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<i128> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<i128> for int

Available on verus_keep_ghost only.

impl SpecEq<i128> for nat

Available on verus_keep_ghost only.

impl SpecEq<isize> for &int

Available on verus_keep_ghost only.

impl SpecEq<isize> for &nat

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<isize> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<isize> for int

Available on verus_keep_ghost only.

impl SpecEq<isize> for nat

Available on verus_keep_ghost only.

impl SpecEq<u8> for &int

Available on verus_keep_ghost only.

impl SpecEq<u8> for &nat

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<u8> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<u8> for int

Available on verus_keep_ghost only.

impl SpecEq<u8> for nat

Available on verus_keep_ghost only.

impl SpecEq<u16> for &int

Available on verus_keep_ghost only.

impl SpecEq<u16> for &nat

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<u16> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<u16> for int

Available on verus_keep_ghost only.

impl SpecEq<u16> for nat

Available on verus_keep_ghost only.

impl SpecEq<u32> for &int

Available on verus_keep_ghost only.

impl SpecEq<u32> for &nat

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<u32> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<u32> for int

Available on verus_keep_ghost only.

impl SpecEq<u32> for nat

Available on verus_keep_ghost only.

impl SpecEq<u64> for &int

Available on verus_keep_ghost only.

impl SpecEq<u64> for &nat

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<u64> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<u64> for int

Available on verus_keep_ghost only.

impl SpecEq<u64> for nat

Available on verus_keep_ghost only.

impl SpecEq<u128> for &int

Available on verus_keep_ghost only.

impl SpecEq<u128> for &nat

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<u128> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<u128> for int

Available on verus_keep_ghost only.

impl SpecEq<u128> for nat

Available on verus_keep_ghost only.

impl SpecEq<usize> for &int

Available on verus_keep_ghost only.

impl SpecEq<usize> for &nat

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<usize> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<usize> for int

Available on verus_keep_ghost only.

impl SpecEq<usize> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<char>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i8>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i16>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i32>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i64>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<i128>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<isize>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u8>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u16>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u32>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u64>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<u128>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for int

Available on verus_keep_ghost only.

impl SpecEq<Ghost<usize>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<int>> for nat

Available on verus_keep_ghost only.

impl SpecEq<Ghost<nat>> for int

Available on verus_keep_ghost only.

impl SpecEq<int> for &nat

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<int> for Ghost<nat>

Available on verus_keep_ghost only.

impl SpecEq<int> for nat

Available on verus_keep_ghost only.

impl SpecEq<nat> for &int

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<char>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<i8>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<i16>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<i32>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<i64>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<i128>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<isize>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<u8>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<u16>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<u32>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<u64>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<u128>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<usize>

Available on verus_keep_ghost only.

impl SpecEq<nat> for Ghost<int>

Available on verus_keep_ghost only.

impl SpecEq<nat> for int

Available on verus_keep_ghost only.

impl<A> SpecEq<&A> for A

where A: ?Sized,

Available on verus_keep_ghost only.

impl<A> SpecEq<&mut A> for A

where A: ?Sized,

Available on verus_keep_ghost only.

impl<A> SpecEq<Ghost<A>> for A

Available on verus_keep_ghost only.

impl<A> SpecEq<Tracked<A>> for A

Available on verus_keep_ghost only.

impl<A> SpecEq<A> for Ghost<A>

Available on verus_keep_ghost only.

impl<A> SpecEq<A> for Tracked<A>

Available on verus_keep_ghost only.

impl<A> SpecEq<A> for A

where A: ?Sized,

Available on verus_keep_ghost only.