sort property

  1. @override
BitVecSort get sort
override

Implementation

@override
BitVecSort get sort => super.sort as BitVecSort;