def bit

import bend-collections@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve

import Base
import bend-collections@1.0.0.0/spec/lib/common.bend as C

121# bit i of k
122def bit(+i: Nat, +k: Nat) -> Nat:
123  C.bit(C.high(i, k))

Uses (3)