Function z3_sys::Z3_get_sort_kind

pub unsafe extern "C" fn Z3_get_sort_kind(
    c: Z3_context,
    t: Z3_sort
) -> SortKind

Return the sort kind (e.g., array, tuple, int, bool, etc).

See also:

• SortKind