Base · base.bend:155
import Base
155def Pair.snd(-A: Type, -B: Type, p: A & B) -> B: 156 (a, b) = p 157 b