SequenceOf
windsteiger opened this issue · comments
windsteiger commented
SequenceOf computation: sequenceIteration should produce a list, otherwise comparison =!= $Failed does not work as intended in all cases.
In any case, SetOf and TupleOf are more different w.r.t. allowed ranges, so maybe we don't need SequenceOf as a common basis anymore.