A problem encountered here is that, for tick-tock reasoning, the _ wildcard is often overly broad as it induces a set comprehension over all possible inhabitants of the underlying type. What we might want, instead, is a special form of wildcard that constrains the comprehension to a specific subset.
A problem encountered here is that, for tick-tock reasoning, the
_
wildcard is often overly broad as it induces a set comprehension over all possible inhabitants of the underlying type. What we might want, instead, is a special form of wildcard that constrains the comprehension to a specific subset.Possible syntax:
_:{0..3}
etc.