def choose_initial

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

import Base

86def choose_initial(~S:Data,~K:Data,~V:Data,~same:V -> V -> Bool,selector:Selector<S,K,V>,to:V) -> Choice:
87  match selector:
88    case EnterTo{value}:enter_choice(same(value,to))
89    case _:Kept{}