Return the range (return) sort.
(self)
| 946 | return self._domain[i] |
| 947 | |
| 948 | def range(self) -> SortRef: |
| 949 | """Return the range (return) sort.""" |
| 950 | return self._range |
| 951 | |
| 952 | def __repr__(self) -> str: |
| 953 | return f"{self._name} : {_sort_repr(self._ast_sort)}" |
no outgoing calls