def w8s.of_list

bend-osdev-bytes@0.1.1.0 · bytes.bend:397

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes
import 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)}

Uses (4)

Used by (7)