Function z3_sys::Z3_mk_re_loop

pub unsafe extern "C" fn Z3_mk_re_loop(
    c: Z3_context,
    r: Z3_ast,
    lo: c_uint,
    hi: c_uint
) -> Z3_ast

Create a regular expression loop. The supplied regular expression r is repeated between lo and hi times. The lo should be below hi with one execution: when supplying the value hi as 0, the meaning is to repeat the argument r at least lo number of times, and with an unbounded upper bound.