mk_set_sort method

Z3_sort mk_set_sort(Z3_context c, Z3_sort ty)

@name Sets / /**@{/ /** \brief Create Set type.

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

Implementation

Z3_sort mk_set_sort(
  Z3_context c,
  Z3_sort ty,
) {
  return _mk_set_sort(
    c,
    ty,
  );
}