A silly question, but I guess alt!
(and similar) means alternative(s)
?
That's what I read it as in my head...
Yeah - it's not actually defined anywhere (in the source that I can see) what alt
stands for? I'm interpreting it as alternative
"Pick from one of these alternatives" (whichever one is ready -- or non-deterministically pick one if more than one is ready)
:thumbsup: