get_seq_sort_basis method

Z3_sort get_seq_sort_basis(Z3_context c, Z3_sort s)

\brief Retrieve basis sort for sequence sort.

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

Implementation

Z3_sort get_seq_sort_basis(
  Z3_context c,
  Z3_sort s,
) {
  return _get_seq_sort_basis(
    c,
    s,
  );
}