FiniteFull

Trait FiniteFull

pub trait FiniteFull: Sized {
    // Required method
    proof fn full_properties();
}

Required Methods§

proof fn full_properties()

ensures

Set::<Self>::full().finite(),

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

impl FiniteFull for i8

proof fn full_properties()

impl FiniteFull for i16

proof fn full_properties()

impl FiniteFull for i32

proof fn full_properties()

impl FiniteFull for i64

proof fn full_properties()

impl FiniteFull for i128

proof fn full_properties()

impl FiniteFull for isize

proof fn full_properties()

impl FiniteFull for u8

proof fn full_properties()

impl FiniteFull for u16

proof fn full_properties()

impl FiniteFull for u32

proof fn full_properties()

impl FiniteFull for u64

proof fn full_properties()

impl FiniteFull for u128

proof fn full_properties()

impl FiniteFull for usize

proof fn full_properties()

Implementors§