sortsEqual method

bool sortsEqual(
  1. Sort a,
  2. Sort b
)

Implementation

bool sortsEqual(Sort a, Sort b) {
  return _z3.is_eq_sort(_createSort(a), _createSort(b));
}