def snd
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/prel.bend as Prelimport Base
34def snd(-A: Data, -B: Data, +p: DP(A, B)) -> B:
35 match p:
36 case (a, b):
37 b
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/prel.bend as Prelimport Base
34def snd(-A: Data, -B: Data, +p: DP(A, B)) -> B:
35 match p:
36 case (a, b):
37 b