Enum z3_sys::SymbolKind [−][src]
#[repr(u32)]
pub enum SymbolKind {
Int,
String,
}
Expand description
The different kinds of symbol.
In Z3, a symbol can be represented using integers and
strings. See Z3_get_symbol_kind
.
This corresponds to Z3_symbol_kind
in the C API.
See also:
Variants
An integer symbol.
This corresponds to Z3_INT_SYMBOL
in the C API.
A string symbol.
This corresponds to Z3_STRING_SYMBOL
in the C API.
Trait Implementations
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