def mul
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
361def mul(+x: F64, +y: F64) -> F64:
362 mul_cls(Bool.xor(signbit(x), signbit(y)), exp_field(x), frac(x), exp_field(y), frac(y), Nat.is_eq(exp_field(x), 2047n))
Uses (7)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/f64:f64_op
- bend-collections-laws-math@1.0.0.0/src/math/f64:ic_d
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:icd_t
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:lek
- bend-collections-laws-math@1.0.0.0/spec/math/f64:Mul.value