getSortName method

Sym getSortName(
  1. Sort sort
)

Implementation

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