boolSort top-level property

BoolSort get boolSort

Implementation

BoolSort get boolSort => currentContext.boolSort;