def append

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

import Base

63def append(state:State,fact:Fact) -> State:
64  match state:
65    case Off{}:Off{}
66    case On{facts}:On{fact <> facts}