getSort method

Sort getSort(
  1. Expr value
)

Get the sort of an Expr.

Implementation

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