def Gfm.add

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

import Base

44def Gfm.add(+f: GfmField, a: U32, b: U32) -> U32:
45  Gfm.elt(f, U32.xor(a, b))

Uses (4)