def add_mags

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

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

import Base

248def add_mags(+x: F64, +y: F64, +s: Bool) -> F64:
249  am_case(x, y, s, exp_field(x), exp_field(y), Nat.cmp(exp_field(x), exp_field(y)))

Uses (5)

Used by (1)

bend-collections-laws-crypto@1.0.0.0/src/math/f64:add_pick