boolSort top-level property

BoolSort boolSort

Implementation

BoolSort get boolSort => currentContext.boolSort;