pub struct DrsMark { /* private fields */ }Expand description
A point in the DRS’s growth: the box the parse was in, and how many referents each box then held. A parse that backtracks rewinds to it, so a referent registered on an abandoned path does not outlive the path — no pronoun finds it, and no conditional quantifies over it.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for DrsMark
impl RefUnwindSafe for DrsMark
impl Send for DrsMark
impl Sync for DrsMark
impl Unpin for DrsMark
impl UnsafeUnpin for DrsMark
impl UnwindSafe for DrsMark
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