intSort top-level property

IntSort get intSort

The type of integers.

Implementation

IntSort get intSort => currentContext.intSort;