Function Z3_constructor_num_fields 

pub unsafe extern "C" fn Z3_constructor_num_fields(
    c: Z3_context,
    constr: Z3_constructor,
) -> c_uint

Retrieve the number of fields of a constructor

• c: logical context.
• constr: constructor.