def u32_is

bend-collections-laws-math@1.0.0.0 · src/math/instances.bend:67

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

67def u32_is(t: N.Test<U32>) -> Bool:
68  match t:
69    case N.Lt{a, b}:
70      U32.is_lt(a, b)
71    case N.AddOver{a, b}:
72      u32_add_over(a, b)
73    case N.MulOver{a, b}:
74      u32_mul_over(a, b)
75    case N.Odd{a}:
76      u32_odd(a)
77    case N.IsZero{a}:
78      U32.is_zero(a)
79    case N.FastDiv{}:
80      True{}
81    case N.Mont{m}:
82      X.mont32_ok(m)