Function z3_sys::Z3_get_tuple_sort_field_decl

pub unsafe extern "C" fn Z3_get_tuple_sort_field_decl(
    c: Z3_context, 
    t: Z3_sort, 
    i: c_uint
) -> Z3_func_decl

Return the i-th field declaration (i.e., projection function declaration) of the given tuple sort.

• Precondition: Z3_get_sort_kind(t) == SortKind::Datatype
• Precondition: i < Z3_get_tuple_sort_num_fields(c, t)

See also:

• Z3_mk_tuple_sort
• Z3_get_sort_kind