Struct mikino_api::check::NegExpr
source · [−]pub struct NegExpr<'e, E> { /* private fields */ }
Expand description
Internal mini structure to represent the negation of a borrowed expression.
Trait Implementations
sourceimpl<'e, Info, E> Expr2Smt<Info> for NegExpr<'e, E> where
E: Expr2Smt<Info>,
impl<'e, Info, E> Expr2Smt<Info> for NegExpr<'e, E> where
E: Expr2Smt<Info>,
Auto Trait Implementations
impl<'e, E> RefUnwindSafe for NegExpr<'e, E> where
E: RefUnwindSafe,
impl<'e, E> Send for NegExpr<'e, E> where
E: Sync,
impl<'e, E> Sync for NegExpr<'e, E> where
E: Sync,
impl<'e, E> Unpin for NegExpr<'e, E>
impl<'e, E> UnwindSafe for NegExpr<'e, E> where
E: RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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