Variable SetRangeTopConst

SetRangeTop: { min: Set<never>; range: typeof Top } = ...

The Top element of the set range domain with an empty set as minimum set and Top as range set

Type declaration

  • Readonlymin: Set<never>
  • Readonlyrange: typeof Top

Settings

Member Visibility