def Gf128.to_octets

bend-osdev-gf@0.1.1.0 · gf128.bend:73

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

73def Gf128.to_octets(x: Gf128) -> B.Octets:
74  match x:
75    case Gf128{w0, w1, w2, w3}:
76      B.Octets.concat([B.Octets.be32(w0), B.Octets.be32(w1), B.Octets.be32(w2), B.Octets.be32(w3)])