pub struct CondExpr<Expr> { /* private fields */ }
Expand description
An implication between an Actlit and some expression.
Implementations
Trait Implementations
sourceimpl<Expr, Info> Expr2Smt<Info> for CondExpr<Expr>where
Expr: Expr2Smt<Info>,
impl<Expr, Info> Expr2Smt<Info> for CondExpr<Expr>where
Expr: Expr2Smt<Info>,
Auto Trait Implementations
impl<Expr> RefUnwindSafe for CondExpr<Expr>where
Expr: RefUnwindSafe,
impl<Expr> Send for CondExpr<Expr>where
Expr: Send,
impl<Expr> Sync for CondExpr<Expr>where
Expr: Sync,
impl<Expr> Unpin for CondExpr<Expr>where
Expr: Unpin,
impl<Expr> UnwindSafe for CondExpr<Expr>where
Expr: 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