def barrier_finished
import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFactsimport Base
108def barrier_finished(state:State) -> State:
109 match state:
110 case Off{}:Off{}
111 case On{facts}:On{BoundaryFact{BarrierFinished{}} <> facts}
Uses (4)
Used by (0)
No other definition uses this definition.