def HsW4.le
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hashesimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
91def HsW4.le(x: HsW4) -> B.Octets:
92 match x:
93 case HsW4{a, b, c, d}:
94 B.Octets.of_list(B.append(B.le32(a), B.append(B.le32(b), B.append(B.le32(c), B.le32(d)))))