Macro ferrite_session::define_choice_labels

macro_rules! define_choice_labels {
    ( $( $labels:ident ),+ $(,)? ) => { ... };
    ( $acc:ty; $label:ident ) => { ... };
    ( $acc:ty; $label:ident, $( $labels:ident ),+ ) => { ... };
}