def HsW5.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
96def HsW5.le(x: HsW5) -> B.Octets:
97 match x:
98 case HsW5{a, b, c, d, e}:
99 B.Octets.of_list(B.append(B.le32(a), B.append(B.le32(b), B.append(B.le32(c), B.append(B.le32(d), B.le32(e))))))