Function z3_sys::Z3_mk_int64

pub unsafe extern "C" fn Z3_mk_int64(
    c: Z3_context, 
    v: c_longlong, 
    ty: Z3_sort
) -> Z3_ast

Create a numeral of a int, bit-vector, or finite-domain sort.

This function can be use to create numerals that fit in a machine __int64 integer. It is slightly faster than Z3_mk_numeral since it is not necessary to parse a string.

See also:

• Z3_mk_numeral