Function z3_sys::Z3_get_pattern

pub unsafe extern "C" fn Z3_get_pattern(
    c: Z3_context, 
    p: Z3_pattern, 
    idx: c_uint
) -> Z3_ast

Return i’th ast in pattern.