Type Alias IntervalBottom

IntervalBottom: typeof Bottom

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

Settings

Member Visibility