def ar_z

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

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

1228def ar_z(+x: F64, z: Bool) -> Result<&2, &2, N.NumError, Ratio>:
1229  match z:
1230    case True{}:
1231      Done{Ratio{False{}, W.U64{0, 0}, 0n}}
1232    case False{}:
1233      ar_fin(x, Nat.is_le(3000n, dexp(x)))