Function z3_sys::Z3_mk_seq_empty
[−]
[src]
pub unsafe extern "C" fn Z3_mk_seq_empty(c: Z3_context, seq: Z3_sort) -> Z3_ast
Create an empty sequence of the sequence sort seq
.
- Precondition:
s
is a sequence sort.