~/jendhub

def Gfm.m

bend-osdev-gf@0.1.1.0 · gfm.bend:30

import bend-osdev-gf@0.1.1.0/gfm.bend as Gfm
import Base

30def Gfm.m(f: GfmField) -> Nat:
31  match f:
32    case GfmField{m, poly}:
33      m

Uses (2)

Used by (0)

No other definition uses this definition.