Type Alias PosIntervalBottom

PosIntervalBottom: typeof Bottom

The type of the Bottom element of the positive interval domain as Bottom symbol

Settings

Member Visibility