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.

See also:

• Z3_get_symbol_int
• Z3_mk_string_symbol