Type Alias BoundedSetLift<T>

BoundedSetLift: BoundedSetValue<T> | BoundedSetTop | BoundedSetBottom

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

Type Parameters

  • T

Settings

Member Visibility