Trait creusot_contracts::well_founded::WellFounded

pub trait WellFounded { }

Implementations on Foreign Types

impl WellFounded for i8

impl WellFounded for i16

impl WellFounded for i32

impl WellFounded for i64

impl WellFounded for i128

impl WellFounded for isize

impl WellFounded for u8

impl WellFounded for u16

impl WellFounded for u32

impl WellFounded for u64

impl WellFounded for u128

impl WellFounded for usize

impl<T: WellFounded> WellFounded for &T

impl<T: WellFounded> WellFounded for &mut T

Implementors

impl WellFounded for Int