def f53_z
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as Randimport Base
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
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F
232def f53_z(+m: W.U64, z: Bool) -> F.F64:
233 match z:
234 case True{}:
235 F.zero(False{})
236 case False{}:
237 f53(m, X.clz(m))
Uses (6)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/random/rand:to_float
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:lt_s_case
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:lt_z_case
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:value_s
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:value_z