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