top property

  1. @override
NullabilityDomain get top
override

Returns the top element (⊤).

Implementation

@override
NullabilityDomain get top => topValue;