pub struct Unrolled<'a, T>(_, _);
Expand description
An unrolled version of something.
Trait Implementations
sourceimpl<'a, 'b> Expr2Smt<()> for Unrolled<'a, &'b SExpr>
impl<'a, 'b> Expr2Smt<()> for Unrolled<'a, &'b SExpr>
sourceimpl<'a, V: AsRef<Var>> Expr2Smt<()> for Unrolled<'a, V>
impl<'a, V: AsRef<Var>> Expr2Smt<()> for Unrolled<'a, V>
sourceimpl<'a, T: PartialEq> PartialEq<Unrolled<'a, T>> for Unrolled<'a, T>
impl<'a, T: PartialEq> PartialEq<Unrolled<'a, T>> for Unrolled<'a, T>
impl<'a, T> StructuralPartialEq for Unrolled<'a, T>
Auto Trait Implementations
impl<'a, T> RefUnwindSafe for Unrolled<'a, T>where
T: RefUnwindSafe,
impl<'a, T> Send for Unrolled<'a, T>where
T: Send,
impl<'a, T> Sync for Unrolled<'a, T>where
T: Sync,
impl<'a, T> Unpin for Unrolled<'a, T>where
T: Unpin,
impl<'a, T> UnwindSafe for Unrolled<'a, T>where
T: UnwindSafe,
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