def bit

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/curve.bend:121

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

import Base
import bend-collections-laws-crypto@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)

Used by (8)