def inv

import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/field.bend as Field

import Base

106# a^(p - 2): the inverse of a nonzero a, 0 for 0
107def inv(+a: List<&2, Nat>) -> List<&2, Nat>:
108  pow(a, inv_bits(), one())

Uses (5)