def of_list

lawful-bytes@0.1.1.0 · bytes.bend:173

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

173# A Bytes in a block of 2^d words holding the bytes of xs (Base's file
174# reads give such lists).
175def of_list(+d: Nat, xs: List<&2, U32>) -> D.Bytes:
176  of_list.go(xs, empty(d))