def add
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
315def add(+x: F64, +y: F64) -> F64:
316 add_pick(x, y, Bool.not(Bool.xor(signbit(x), signbit(y))))
Uses (5)
Used by (7)
- bend-collections-laws-math@1.0.0.0/src/math/f64:f64_op
- bend-collections-laws-math@1.0.0.0/src/math/f64:sub
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addf:afin
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addv:add_g
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addv:sub_value
- …