z3_sys
pub unsafe extern "C" fn Z3_get_app_arg( c: Z3_context, a: Z3_app, i: c_uint) -> Z3_ast
Return the i-th argument of the given application.
i < Z3_get_app_num_args(c, a)