addSort method

void addSort(
  1. Sort sort
)

Declares a sort.

Implementation

void addSort(Sort sort) {
  _c._z3.parser_context_add_sort(
    _pc,
    _c._createSort(sort),
  );
}