def barrier_finished

bendvy-ecs-core@0.1.0.3 · trace_facts.bend:108

import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFacts
import 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.