def Gfm.mask
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
35# 2^m - 1, and the number of nonzero elements
36def Gfm.mask(f: GfmField) -> U32:
37 match f:
38 case GfmField{m, poly}:
39 U32.sub(U32.shln(1, m), 1)
import bend-osdev-gf@0.1.1.0/gfm.bend as Gfmimport Base
35# 2^m - 1, and the number of nonzero elements
36def Gfm.mask(f: GfmField) -> U32:
37 match f:
38 case GfmField{m, poly}:
39 U32.sub(U32.shln(1, m), 1)