def lane_bytes
import bend-collections@1.0.0.0/src/crypto/blake/blake2b/sized.bend as Sizedimport Base
import bend-collections@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
68def lane_bytes(l: T.Lane) -> List<&2, U32>:
69 match l:
70 case T.W{lo, hi}:
71 List.append(&2, U32, le(lo), le(hi))