pub enum VerificationFlavor {
Regular,
Instantiated(usize),
Inconsistency(Box<VerificationFlavor>),
}
Expand description
Describes a function verification flavor.
Variants
Regular
Instantiated(usize)
Inconsistency(Box<VerificationFlavor>)
Trait Implementations
sourceimpl Clone for VerificationFlavor
impl Clone for VerificationFlavor
sourcefn clone(&self) -> VerificationFlavor
fn clone(&self) -> VerificationFlavor
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for VerificationFlavor
impl Debug for VerificationFlavor
sourceimpl Display for VerificationFlavor
impl Display for VerificationFlavor
sourceimpl Ord for VerificationFlavor
impl Ord for VerificationFlavor
sourceimpl PartialEq<VerificationFlavor> for VerificationFlavor
impl PartialEq<VerificationFlavor> for VerificationFlavor
sourcefn eq(&self, other: &VerificationFlavor) -> bool
fn eq(&self, other: &VerificationFlavor) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &VerificationFlavor) -> bool
fn ne(&self, other: &VerificationFlavor) -> bool
This method tests for !=
.
sourceimpl PartialOrd<VerificationFlavor> for VerificationFlavor
impl PartialOrd<VerificationFlavor> for VerificationFlavor
sourcefn partial_cmp(&self, other: &VerificationFlavor) -> Option<Ordering>
fn partial_cmp(&self, other: &VerificationFlavor) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl Eq for VerificationFlavor
impl StructuralEq for VerificationFlavor
impl StructuralPartialEq for VerificationFlavor
Auto Trait Implementations
impl RefUnwindSafe for VerificationFlavor
impl Send for VerificationFlavor
impl Sync for VerificationFlavor
impl Unpin for VerificationFlavor
impl UnwindSafe for VerificationFlavor
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.