intSort top-level property

IntSort intSort

Implementation

IntSort get intSort => currentContext.intSort;