def w8s.at
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
440def w8s.at(ws: List<&2, OctByte>) -> Maybe<&2, U32>:
441 match ws:
442 case Con{h, t}:
443 Some{oct.to(h)}
444 case Nil{}:
445 None{}
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
440def w8s.at(ws: List<&2, OctByte>) -> Maybe<&2, U32>:
441 match ws:
442 case Con{h, t}:
443 Some{oct.to(h)}
444 case Nil{}:
445 None{}