top property

  1. @override
CombinedDomain get top
override

Returns the top element (⊤).

Implementation

@override
CombinedDomain get top => topValue;