boolSort top-level property

BoolSort get boolSort

The type of booleans.

Implementation

BoolSort get boolSort => currentContext.boolSort;