pub struct IsExposed {}
Expand description
Tracked object that indicates a given provenance has been exposed.
Implementations§
Source§impl IsExposed
impl IsExposed
Sourcepub open spec fn view(self) -> Provenance
pub open spec fn view(self) -> Provenance
{ self.provenance() }
The view of IsExposed
is simply its provenance.
Sourcepub uninterp fn provenance(self) -> Provenance
pub uninterp fn provenance(self) -> Provenance
Provenance we are exposing.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for IsExposed
impl RefUnwindSafe for IsExposed
impl Send for IsExposed
impl Sync for IsExposed
impl Unpin for IsExposed
impl UnwindSafe for IsExposed
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