def fabs
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as F64import Base
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F
550def fabs(+x: F.F64) -> F.F64:
551 encode(False{}, efield(x), frac(x))
Uses (5)
Used by (6)
- bend-collections-laws-math@1.0.0.0/spec/math/f64:ic_near
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:D
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:fabs_v
- bend-collections-laws-math@1.0.0.0/spec/math/f64:isclose
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:icd_t
- …