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,
) -> Z3_sort

Create an array type with N arguments

See also:

• Z3_mk_select_n
• Z3_mk_store_n