def encode.rec

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

621def encode.rec(~A: Data, ~penc: A -> Bytes.Bytes, r: Rec<A>) -> Bytes.Bytes:
622  match r:
623    case Snap{s}:
624      encode.snap(~A, ~penc, s)
625    case Do{op}:
626      encode(~A, ~penc, op)