getSort method

Sort getSort(Expr value)

Implementation

Sort getSort(Expr value) {
  return _getSort(_z3.get_sort(_createAST(value)));
}