Trait miri::concurrency::sync::SyncId

pub trait SyncId {
    fn from_u32(id: u32) -> Self;
    fn to_u32(&self) -> u32;
}

Required Methods§

fn from_u32(id: u32) -> Self

fn to_u32(&self) -> u32

Implementors§

impl SyncId for InitOnceId

impl SyncId for CondvarId

impl SyncId for MutexId

impl SyncId for RwLockId