Function Z3_mk_array_sort_n 

pub unsafe extern "C" fn Z3_mk_array_sort_n(
    c: Z3_context,
    n: c_uint,
    domain: *const Z3_sort,
    range: Z3_sort,
) -> Option<Z3_sort>

Create an array type with N arguments

See also:

• Z3_mk_select_n
• Z3_mk_store_n