getSortId method

int getSortId(Sort sort)

Implementation

int getSortId(Sort sort) {
  return _z3.get_sort_id(_createSort(sort));
}