ChoiceValue: {
    value_of_choice: ChoiceId;
}

Marlowe Object version of Core ChoiceValue.

Type declaration