TODO: Comment

Hierarchy

  • Choice

Properties

choose_between: Bound[]
for_choice: ChoiceId