Type Alias SingletonLift<T>

SingletonLift: SingletonValue<T> | SingletonTop | SingletonBottom

The type of the abstract values of the singleton domain that are Top, Bottom, or actual values

Type Parameters

  • T

Settings

Member Visibility