def w8s.of_list
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
397def w8s.of_list(xs: List<&2, U32>) -> List<&2, OctByte>:
398 match xs:
399 case Nil{}:
400 Nil{}
401 case Con{h, t}:
402 Con{oct.of(h), w8s.of_list(t)}