Type Alias SingletonBottom

SingletonBottom: typeof Bottom

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

Settings

Member Visibility