def run_enter

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

import Base

83def run_enter(-V:Data,intent:Intent<V>) -> Bool:
84  match intent:
85    case Initial{_}:True{}
86    case Transition{_,_,allowed}:allowed
87    case _:False{}