Function Z3_get_array_sort_domain_n 

pub unsafe extern "C" fn Z3_get_array_sort_domain_n(
    c: Z3_context,
    t: Z3_sort,
    idx: c_uint,
) -> Option<Z3_sort>

Return the i’th domain sort of an n-dimensional array.

Preconditions

• Z3_get_sort_kind(c, t) == Z3_ARRAY_SORT

See also

• Z3_mk_array_sort
• Z3_get_sort_kind
• Z3_get_array_sort_domain