def pick
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519import Base
85def pick(b: Nat, q: EPt, r: EPt) -> EPt:
86 match b:
87 case 0n:
88 q
89 case 1n+c:
90 r
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as Ed25519import Base
85def pick(b: Nat, q: EPt, r: EPt) -> EPt:
86 match b:
87 case 0n:
88 q
89 case 1n+c:
90 r