def put_dec.go

lawful-fields@0.1.1.0 · fields.bend:87

import Base
import lawful-bytes@0.1.1.0/defs.bend as D
import lawful-bytes@0.1.1.0/bytes.bend as B

87def put_dec.go(xs: List<&2, U32>, b: D.Bytes) -> D.Bytes:
88  match xs:
89    case Nil{}:
90      b
91    case Con{x, t}:
92      put_dec.go(t, B.push(b, x))