def HsW8.be

bend-osdev-hashes@0.1.0.0 · hashes.bend:106

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

106def HsW8.be(x: HsW8) -> B.Octets:
107  match x:
108    case HsW8{a, b, c, d, e, f, g, h}:
109      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.append(B.be32(e), B.append(B.be32(f), B.append(B.be32(g), B.be32(h)))))))))