Enum rsmt2::examples::simple::Cst [−][src]
Expand description
A constant.
Variants
B(bool)
Boolean constant.
Tuple Fields of B
0: bool
I(isize)
Integer constant.
Tuple Fields of I
0: isize
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Cst
impl UnwindSafe for Cst
Blanket Implementations
Mutably borrows from an owned value. Read more