Expand description
An example of expression.
Variants
C(Cst)
A constant.
V(String)
Variable.
O(Op, Vec<Expr>)
Operator application.
Implementations
Trait Implementations
sourceimpl Expr2Smt<()> for Expr
impl Expr2Smt<()> for Expr
Auto Trait Implementations
impl RefUnwindSafe for Expr
impl Send for Expr
impl Sync for Expr
impl Unpin for Expr
impl UnwindSafe for Expr
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