Type Alias SetRangeLimit

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

type SetRangeLimit = {
may: number;
must: number;
}