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

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

def u32_is(t: N.Test<U32>) -> Bool:
  match t:
    case N.Lt{a, b}:
      U32.is_lt(a, b)
    case N.AddOver{a, b}:
      u32_add_over(a, b)
    case N.MulOver{a, b}:
      u32_mul_over(a, b)
    case N.Odd{a}:
      u32_odd(a)
    case N.IsZero{a}:
      U32.is_zero(a)
    case N.FastDiv{}:
      True{}
    case N.Mont{m}:
      X.mont32_ok(m)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/instances.bend&name=u32_add_over
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/instances.bend&name=u32_mul_over
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/instances.bend&name=u32_odd
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/num.bend&name=Test
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/w64.bend&name=mont32_ok