def tu_cls

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

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

777def tu_cls(+x: F64, top: Bool) -> Result<&2, &2, N.NumError, W.U64>:
778  match top:
779    case True{}:
780      tu_top(nz(frac(x)))
781    case False{}:
782      tu_fin(x, Nat.is_le(3000n, dexp(x)))