Type Definition z3_sys::Z3_symbol

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.

See also:

• Z3_get_symbol_int
• Z3_get_symbol_kind
• Z3_get_symbol_string
• Z3_mk_int_symbol
• Z3_mk_string_symbol