def mf_cls

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

import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64

import Base

1050def mf_cls(+x: F64, top: Bool) -> F64 & F64:
1051  match top:
1052    case True{}:
1053      (nan_or(zero(signbit(x)), nz(frac(x))), nan_or(x, nz(frac(x))))
1054    case False{}:
1055      mf_fin(x, Nat.is_le(3000n, dexp(x)))

Uses (12)

Used by (3)