Trait miri::concurrency::sync::SyncId

source · 
pub trait SyncId {
    // Required methods
    fn from_u32(id: u32) -> Self;
    fn to_u32(&self) -> u32;
}

Required Methods§

source

fn from_u32(id: u32) -> Self

source

fn to_u32(&self) -> u32

Object Safety§

This trait is not object safe.

Implementors§