mk_re_sort method

Z3_sort mk_re_sort(
  1. Z3_context c,
  2. Z3_sort seq
)

\brief Create a regular expression sort out of a sequence sort.

def_API('Z3_mk_re_sort', SORT, (_in(CONTEXT), _in(SORT)))

Implementation

Z3_sort mk_re_sort(
  Z3_context c,
  Z3_sort seq,
) {
  return _mk_re_sort(
    c,
    seq,
  );
}