creusot_contracts::well_founded

Trait WellFounded

Source 
pub trait WellFounded { }

Implementations on Foreign Types§

Source§

impl WellFounded for i8

Source§

impl WellFounded for i16

Source§

impl WellFounded for i32

Source§

impl WellFounded for i64

Source§

impl WellFounded for i128

Source§

impl WellFounded for isize

Source§

impl WellFounded for u8

Source§

impl WellFounded for u16

Source§

impl WellFounded for u32

Source§

impl WellFounded for u64

Source§

impl WellFounded for u128

Source§

impl WellFounded for usize

Source§

impl<T: WellFounded> WellFounded for &T

Source§

impl<T: WellFounded> WellFounded for &mut T

Implementors§