def Bits.inverse

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:484

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

484def Bits.inverse(+w: WU.U64) -> Type:
485  {F.to_bits(F.of_bits64(w)) == w : WU.U64}