Function z3_sys::Z3_get_algebraic_number_upper

pub unsafe extern "C" fn Z3_get_algebraic_number_upper(
    c: Z3_context, 
    a: Z3_ast, 
    precision: c_uint
) -> Z3_ast