is_seq_sort method

bool is_seq_sort(Z3_context c, Z3_sort s)

\brief Check if \c s is a sequence sort.

def_API('Z3_is_seq_sort', BOOL, (_in(CONTEXT), _in(SORT)))

Implementation

bool is_seq_sort(
  Z3_context c,
  Z3_sort s,
) {
  return _is_seq_sort(
    c,
    s,
  );
}