Const
The bottom element (least element) of the positive interval domain representing no possible values, explicitly given as "bottom".
The bottom element (least element) of the positive interval domain representing no possible values, explicitly given as "bottom".