var group__choosers =
[
    [ "choose", "group__choosers.html#gadefb0a59b077bb1872b25741366ca715", null ],
    [ "chooser_t::choose", "group__choosers.html#ga862abc8600a4d9195c315e0fec27cb3a", null ],
    [ "chooser_multi_t::choose", "group__choosers.html#gae355a0659cc7cab9f7ef85b12741283a", null ]
];