def of_list.go

lawful-bytes@0.1.1.0 · bytes.bend:166

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

166def of_list.go(xs: List<&2, U32>, b: D.Bytes) -> D.Bytes:
167  match xs:
168    case Nil{}:
169      b
170    case Con{x, t}:
171      of_list.go(t, push(b, x))