Enum smt2parser::visitors::Index [−][src]
Variants
Numeral(Numeral)
Tuple Fields of Numeral
0: Numeral
Trait Implementations
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations
impl<Symbol> RefUnwindSafe for Index<Symbol> where
Symbol: RefUnwindSafe,
impl<Symbol> UnwindSafe for Index<Symbol> where
Symbol: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more