def Gfm.xtime
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
56def Gfm.xtime(+f: GfmField, a: U32) -> U32:
57 match f:
58 case GfmField{+m, +poly}:
59 gfm.x(m, poly, Gfm.elt(GfmField{m, poly}, a))
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
56def Gfm.xtime(+f: GfmField, a: U32) -> U32:
57 match f:
58 case GfmField{+m, +poly}:
59 gfm.x(m, poly, Gfm.elt(GfmField{m, poly}, a))