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