Hello,

In the documentation it is stated, that pair sets defined like this [(1..100,123)] are in fact translated to
[(1,123),(2,123),(3,123),...,(100,123)] and hence there is an considerably increased memory footprint.

Is this also true if  the right member of the pair is defined as a range or as *:

[(123,*)]  =?=  [(123,0),(123,1),(123,2),...,(123,65535)]

Should I consider an eventual intensive memory usage in both cases?

Thank you!