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.
seq
s