pub enum VerificationFlavor {
Regular,
Instantiated(usize),
Inconsistency(Box<VerificationFlavor>),
}
Expand description
Describes a function verification flavor.
Variants§
Trait Implementations§
source§impl Clone for VerificationFlavor
impl Clone for VerificationFlavor
source§fn clone(&self) -> VerificationFlavor
fn clone(&self) -> VerificationFlavor
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for VerificationFlavor
impl Debug for VerificationFlavor
source§impl Display for VerificationFlavor
impl Display for VerificationFlavor
source§impl Ord for VerificationFlavor
impl Ord for VerificationFlavor
source§fn cmp(&self, other: &VerificationFlavor) -> Ordering
fn cmp(&self, other: &VerificationFlavor) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq<VerificationFlavor> for VerificationFlavor
impl PartialEq<VerificationFlavor> for VerificationFlavor
source§fn 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 ==
.source§impl PartialOrd<VerificationFlavor> for VerificationFlavor
impl PartialOrd<VerificationFlavor> for VerificationFlavor
source§fn partial_cmp(&self, other: &VerificationFlavor) -> Option<Ordering>
fn partial_cmp(&self, other: &VerificationFlavor) -> Option<Ordering>
1.0.0 · source§fn 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 moreimpl 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§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.