def snd_b
import bend-collections-laws-math@1.0.0.0/proofs/math/natural/logs.bend as Logsimport Base
90def snd_b(-P: Type, -Q: Type, p: P & Q) -> Q:
91 (a, b) = p
92 b
import bend-collections-laws-math@1.0.0.0/proofs/math/natural/logs.bend as Logsimport Base
90def snd_b(-P: Type, -Q: Type, p: P & Q) -> Q:
91 (a, b) = p
92 b