z3_sys

Function Z3_get_quantifier_num_bound

Source 
pub unsafe extern "C" fn Z3_get_quantifier_num_bound(
    c: Z3_context,
    a: Z3_ast,
) -> c_uint
Expand description

Return number of bound variables of quantifier.

ยงPreconditions:

  • Z3_get_ast_kind(a) == AstKind::Quantifier