def bits_inverse

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64misc.bend:91

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as WU

91def bits_inverse(+w: WU.U64) -> SF.Bits.inverse(w):
92  match w:
93    case WU.U64{+l, +h}:
94      {==}