def Gf128.ghash.go
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
149def Gf128.ghash.go(xs: List<&2, Gf128>, +h: Gf128, y: Gf128) -> Gf128:
150 match xs:
151 case Nil{}:
152 y
153 case Con{x, rest}:
154 Gf128.ghash.go(rest, h, Gf128.ghash_update(h, y, x))