def load.rec

bend-kit-runner@0.13.0.1 · runner.bend:316

import Base

316def load.rec(~A: Data, m: Maybe<&2, Rec<A>>, s: State<A>) -> Maybe<&2, State<A>>:
317  match m:
318    case None{}:
319      None{}
320    case Some{Snap{t}}:
321      Some{t}
322    case Some{Do{op}}:
323      Some{step(~A, s, op)}