Documentation suggestion

[Ebenezer-group]

This code doesn’t compile, because the alternatives of a choice aren’t branch rules:

Not positive, but think changing it from "a choice" to "the choice" would help. The way it is sounds like it can't ever be branch rules.

[foonathan]

I've reworded it, thanks.