law gfm_add_comm

bend-osdev-gf@0.1.1.0 · LAWS.bend:255

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

255law gfm_add_comm:
256  for +f: M.GfmField
257  for +a: U32
258  for +b: U32
259  {M.Gfm.add(f, a, b) == M.Gfm.add(f, b, a) : U32}