This would make the idea of an unbounded wait more uniform, as we would just use a WildcardArgument. (Ideally at some point it might be nice to be able to count the number of tocks we wait for and bind them to a variable, but I don't think this'll happen for version 0.1.)
This would make the idea of an unbounded wait more uniform, as we would just use a WildcardArgument. (Ideally at some point it might be nice to be able to count the number of tocks we wait for and bind them to a variable, but I don't think this'll happen for version 0.1.)