[−][src]Function z3_sys::Z3_mk_int_symbol
pub unsafe extern "C" fn Z3_mk_int_symbol(c: Z3_context, i: c_int) -> Z3_symbol
Create a Z3 symbol using an integer.
Symbols are used to name several term and type constructors.
NB. Not all integers can be passed to this function. The legal range of unsigned integers is 0 to 2^30-1.