def Gfm.mul
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
76def Gfm.mul(+f: GfmField, a: U32, b: U32) -> U32:
77 gfm.mul.raw(f, Gfm.elt(f, a), Gfm.elt(f, b))
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
76def Gfm.mul(+f: GfmField, a: U32, b: U32) -> U32:
77 gfm.mul.raw(f, Gfm.elt(f, a), Gfm.elt(f, b))