Trait miri::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