type Gf128
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
22type Gf128 is Data:
23 Gf128{w0: U32, w1: U32, w2: U32, w3: U32}
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
22type Gf128 is Data:
23 Gf128{w0: U32, w1: U32, w2: U32, w3: U32}