Instances.u32_op: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/math/instances.bend as Instances
Lines 28-60 of bend-collections@1.0.0.0/src/math/instances.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/math/instances.bend&start_line=28&end_line=60

import Base
import bend-collections@1.0.0.0/src/math/num.bend as N
import bend-collections@1.0.0.0/src/math/w64.bend as X

def u32_op(o: N.Op<U32>) -> U32:
  match o:
    case N.ZeroOp{}:
      0
    case N.One{}:
      1
    case N.Add{a, b}:
      U32.add(a, b)
    case N.Sub{a, b}:
      U32.sub(a, b)
    case N.Mul{a, b}:
      U32.mul(a, b)
    case N.Neg{a}:
      U32.sub(0, a)
    case N.Abs{a}:
      a
    case N.Quot{a, b}:
      U32.div(a, b)
    case N.Rem{a, b}:
      U32.mod(a, b)
    case N.Half{a}:
      U32.shr(a)
    case N.MulMod{a, b, m}:
      u32_mulmod(a, b, m)
    case N.Pow2{k}:
      X.pow2(k)
    case N.Sqrt{a}:
      X.isqrt32(a)
    case N.PowMod{a, e, m}:
      X.mpow32(a, e, m)

    case N.GcdSmall{a, b}:
      0

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shr
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/instances.bend&name=u32_mulmod
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/num.bend&name=Op
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/w64.bend&name=isqrt32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/w64.bend&name=mpow32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/w64.bend&name=pow2