Type Alias vstd::rwlock::FieldType_RwLock_pred

pub type FieldType_RwLock_pred<Pred> = Ghost<Pred>;

Aliased Type

struct FieldType_RwLock_pred<Pred> { /* private fields */ }

Implementations

impl<A> Ghost<A>

pub fn view(self) -> A

pub const fn new(_a: A) -> Ghost<A>

pub fn borrow(&self) -> &A

pub fn borrow_mut(&mut self) -> &mut A

Trait Implementations

impl<A> Clone for Ghost<A>

fn clone(&self) -> Ghost<A>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A> Copy for Ghost<A>