Function z3_sys::Z3_mk_unsigned_int64 [−][src]
pub unsafe extern "C" fn Z3_mk_unsigned_int64(
c: Z3_context,
v: u64,
ty: Z3_sort
) -> Z3_ast
Expand description
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 uint64_t
integer.
It is slightly faster than Z3_mk_numeral
since it is not necessary to parse a string.