pub struct Offset(_, _);
Expand description
An offset gives the index of current and next step.
Implementations
Trait Implementations
sourceimpl<'a> Expr2Smt<&'a Offset> for SExpr
impl<'a> Expr2Smt<&'a Offset> for SExpr
sourceimpl<'a> Expr2Smt<&'a Offset> for Var
impl<'a> Expr2Smt<&'a Offset> for Var
sourceimpl PartialEq<Offset> for Offset
impl PartialEq<Offset> for Offset
impl Copy for Offset
impl StructuralPartialEq for Offset
Auto Trait Implementations
impl RefUnwindSafe for Offset
impl Send for Offset
impl Sync for Offset
impl Unpin for Offset
impl UnwindSafe for Offset
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more