TLX.WithChoice (TLX v0.5.2)

Copy Markdown

IR struct for a with choice — binds a variable ranging over a set for the action body.