Type Definition Z3_symbol
z3_sys
type Z3_symbol = *mut _Z3_symbol;
Lisp-like symbol used to name types, constants, and functions. A symbol can be created using string or integers.
Z3_get_symbol_int
Z3_get_symbol_kind
Z3_get_symbol_string
Z3_mk_int_symbol
Z3_mk_string_symbol