def phase_boundary

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

import Base

100def phase_boundary(state:State,name:String) -> State:
101  match state:
102    case Off{}:Off{}
103    case On{facts}:On{BoundaryFact{PhaseBoundary{name}} <> facts}