def Gf128.mul_be

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

import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
import Base

169def Gf128.mul_be(+a: Gf128, b: Gf128) -> Gf128:
170  match b:
171    case Gf128{w0, w1, w2, w3}:
172      gf128.be.word(32n, w3, a, gf128.be.word(32n, w2, a, gf128.be.word(32n, w1, a, gf128.be.word(32n, w0, a, Gf128.zero()))))

Uses (3)

Used by (3)