Enum smt2parser::visitors::SymbolKind [−][src]
pub enum SymbolKind {
Unknown,
Variable,
Constant,
Function,
Sort,
Datatype,
TypeVar,
Constructor,
Selector,
}
Variants
Trait Implementations
type Iterator = SymbolKindIter
fn iter() -> SymbolKindIterⓘNotable traits for SymbolKindIterimpl Iterator for SymbolKindIter type Item = SymbolKind;
Notable traits for SymbolKindIter
impl Iterator for SymbolKindIter type Item = SymbolKind;
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for SymbolKind
impl Send for SymbolKind
impl Sync for SymbolKind
impl Unpin for SymbolKind
impl UnwindSafe for SymbolKind
Blanket Implementations
Mutably borrows from an owned value. Read more