Expand description
A constant.
Variants
BConst(bool)
Boolean constant.
IConst(isize)
Integer constant.
RConst(isize, usize)
Rational constant.
Trait Implementations
sourceimpl Expr2Smt<()> for Const
impl Expr2Smt<()> for Const
sourceimpl PartialEq<Const> for Const
impl PartialEq<Const> for Const
impl StructuralPartialEq for Const
Auto Trait Implementations
impl RefUnwindSafe for Const
impl Send for Const
impl Sync for Const
impl Unpin for Const
impl UnwindSafe for Const
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