ChoiceValue: {
    value_of_choice: ChoiceId;
}

Represents the ChosenNum for a ChoiceId.

Type declaration