def f64_is

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:1290

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

1290def f64_is(t: N.Test<F64>) -> Bool:
1291  match t:
1292    case N.Lt{a, b}:
1293      lt(a, b)
1294    case N.AddOver{a, b}:
1295      False{}
1296    case N.MulOver{a, b}:
1297      False{}
1298    case N.Odd{a}:
1299      False{}
1300    case N.IsZero{a}:
1301      is_zero(a)
1302    case N.FastDiv{}:
1303      True{}
1304    case N.Mont{m}:
1305      False{}
1306    case N.Small{a, b}:
1307      False{}