def u64_is

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

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/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as X

125def u64_is(t: N.Test<W.U64>) -> Bool:
126  match t:
127    case N.Lt{a, b}:
128      X.lt(a, b)
129    case N.AddOver{a, b}:
130      X.add_over(a, b)
131    case N.MulOver{a, b}:
132      X.mul_over(a, b)
133    case N.Odd{a}:
134      X.odd(a)
135    case N.IsZero{a}:
136      X.is_zero(a)
137    case N.FastDiv{}:
138      False{}
139    case N.Mont{m}:
140      X.mont_ok(m)
141    case N.Small{a, b}:
142      X.small2(a, b)