getSortName method

Sym getSortName(
  1. Sort sort
)

Get the name of a Sort.

Implementation

Sym getSortName(Sort sort) {
  final symbol = _z3.get_sort_name(_createSort(sort));
  return _getSymbol(symbol);
}