bottom property

  1. @override
CombinedDomain get bottom
override

Returns the bottom element (⊥).

Implementation

@override
CombinedDomain get bottom => bottomValue;