Enum bytecode::stackless_bytecode::PropKind
source · pub enum PropKind {
Assert,
Assume,
Modifies,
}
Expand description
A specification property kind.
Variants§
Trait Implementations§
source§impl Ord for PropKind
impl Ord for PropKind
source§impl PartialEq<PropKind> for PropKind
impl PartialEq<PropKind> for PropKind
source§impl PartialOrd<PropKind> for PropKind
impl PartialOrd<PropKind> for PropKind
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 Copy for PropKind
impl Eq for PropKind
impl StructuralEq for PropKind
impl StructuralPartialEq for PropKind
Auto Trait Implementations§
impl RefUnwindSafe for PropKind
impl Send for PropKind
impl Sync for PropKind
impl Unpin for PropKind
impl UnwindSafe for PropKind
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.