def run_exit

bendvy-ecs-core@0.1.0.3 · execution_machine_state.bend:75

import Base

75def run_exit(-V:Data,intent:Intent<V>) -> Bool:
76  match intent:
77    case Transition{_,_,allowed}:allowed
78    case _:False{}