def cs_snd
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519import Base
87def cs_snd(swap: Nat, a: Nat, b: Nat) -> Nat:
88 match swap:
89 case 0n:
90 b
91 case 1n+q:
92 a
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519import Base
87def cs_snd(swap: Nat, a: Nat, b: Nat) -> Nat:
88 match swap:
89 case 0n:
90 b
91 case 1n+q:
92 a