def rd.u32.of

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

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

652def rd.u32.of(m: Maybe<&2, U32>, b: Bytes.Bytes, +at: U32) -> Maybe<&1, Rd & U32>:
653  match m:
654    case None{}:
655      None{}
656    case Some{x}:
657      Some{(Rd{b, (at + 4 : U32)}, x)}