def uint.bytes
import bend-kit-cbor@0.3.0.0/cbor.bend as Cborimport Base
110def uint.bytes(+major: U32, v: W64, o: W) -> W:
111 W64{+hi, +lo} = v
112 uint.bytes.small(U32.is_eq(hi, 0), major, hi, lo, o)
import bend-kit-cbor@0.3.0.0/cbor.bend as Cborimport Base
110def uint.bytes(+major: U32, v: W64, o: W) -> W:
111 W64{+hi, +lo} = v
112 uint.bytes.small(U32.is_eq(hi, 0), major, hi, lo, o)