Field.inv_bits: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Field
Lines 95-97 of bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend&start_line=95&end_line=97

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

# the bits of p - 2 = 2^256 - 1 - (c + 1): those of c + 1, flipped
def inv_bits() -> List<&2, Nat>:
  L.cbits(L.bits(L.norm16([978n, 0n, 1n])))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=bits
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=cbits
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=norm16