def to_list

lawful-bytes@0.1.1.0 · bytes.bend:189

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

189# Bytes s .. s+n-1 as a list (Base's file writes take such lists), built from
190# the last byte back.
191def to_list(b: D.Bytes, +s: U32, +n: U32) -> D.Bytes & List<&2, U32>:
192  to_list.go(U32.to_nat(n), at(b, ((s + n : U32) - 1 : U32)), ((s + n : U32) - 1 : U32), Nil{})