def shadow2

cswap-bend-cli@0.1.0.0 · daemon/shadow.bend:114

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

114def shadow2(+ts: String, +nx: Tk.Next) -> Step:
115  match nx:
116    case Tk.NDone{o}:
117      step_of(ts, o, last_event(out_events(o), Json.JNull{}), out_events(o))
118    case Tk.NAct{o, c, d}:
119      step_of(ts, o, decision_event(ts, c, d), List.append(&2, Json.Json, out_events(o), [decision_event(ts, c, d)]))