Struct move_model::model::SpecVarId
source · pub struct SpecVarId(_);
Expand description
Identifier for a specification variable, relative to module.
Implementations§
Trait Implementations§
source§impl Ord for SpecVarId
impl Ord for SpecVarId
source§impl PartialEq<SpecVarId> for SpecVarId
impl PartialEq<SpecVarId> for SpecVarId
source§impl PartialOrd<SpecVarId> for SpecVarId
impl PartialOrd<SpecVarId> for SpecVarId
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 SpecVarId
impl Eq for SpecVarId
impl StructuralEq for SpecVarId
impl StructuralPartialEq for SpecVarId
Auto Trait Implementations§
impl RefUnwindSafe for SpecVarId
impl Send for SpecVarId
impl Sync for SpecVarId
impl Unpin for SpecVarId
impl UnwindSafe for SpecVarId
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.