Type Alias IntervalLift

IntervalLift: IntervalValue | IntervalTop | IntervalBottom

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

Settings

Member Visibility