Extractor to identify terms with associated sort.
Extractor to recognise sorts that represent the Booleans.
The sort of Booleans.
The sort of integers, which is also the default sort whenever no sort is specified.
The sort of integers reinterpreted as Booleans.
The sort of natural numbers.
Extractor to recognise non-numeric sorts.
Extractor to recognise sorts that are subsets of the integers.
Create a new uninterpreted sort of infinite cardinality.
Create a new uninterpreted sort of finite or infinite cardinality.
Generate a stream of vectors of individuals in the given sort vector.
Determine the sort of the given term.