def neg_value
import bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/f64bits.bend as F64bitsimport Base
import bend-collections-laws-crypto@1.0.0.0/spec/math/f64.bend as SF
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F
376def neg_value(+x: F.F64) -> SF.Neg.value(x):
377 match x:
378 case F.Bits{+l, +h}:
379 neg_g(l, h, 2147483648, {==})
Uses (3)
Used by (0)
No other definition uses this definition.