def HsW5.be
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
101def HsW5.be(x: HsW5) -> B.Octets:
102 match x:
103 case HsW5{a, b, c, d, e}:
104 B.Octets.of_list(B.append(B.be32(a), B.append(B.be32(b), B.append(B.be32(c), B.append(B.be32(d), B.be32(e))))))