def exit_choice

bendvy-ecs-core@0.1.0.4 · machine_handler_bundle.bend:58

import Base

58def exit_choice(yes:Bool) -> Choice:
59  match yes:
60    case True{}: SelectedExit{}
61    case False{}: Kept{}