pub struct PermissionUsize { /* private fields */ }
Implementations§
Source§impl PermissionUsize
impl PermissionUsize
Sourcepub uninterp fn view(self) -> PermissionDataUsize
pub uninterp fn view(self) -> PermissionDataUsize
Sourcepub open spec fn is_for(&self, patomic: PAtomicUsize) -> bool
pub open spec fn is_for(&self, patomic: PAtomicUsize) -> bool
{ self.view().patomic == patomic.id() }
Sourcepub open spec fn id(&self) -> AtomicCellId
pub open spec fn id(&self) -> AtomicCellId
{ self.view().patomic }
Auto Trait Implementations§
impl Freeze for PermissionUsize
impl RefUnwindSafe for PermissionUsize
impl Send for PermissionUsize
impl Sync for PermissionUsize
impl Unpin for PermissionUsize
impl UnwindSafe for PermissionUsize
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more