Type Definition z3_sys::Z3_symbol
[−]
[src]
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.