Type Alias SetRangeLimit

SetRangeLimit: { min: number; range: number }

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