def bits_xb

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/scalarpow.bend:161

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/limbs.bend as L

161def bits_xb() -> {L.bits(xn()) == xb() : List<&2, Nat>}:
162  {==}