Type Alias SetRangeLimit

The type for the maximum number of elements in the minimum set and maximum set of the set range domain before over-approximation

type SetRangeLimit = {
min: number;
range: number;
}