snd is:exact

Extract the second component of a pair.
Extract the second component of a strict pair.
Second of a tuple
Extract the second component of a pair.
Helper function for accessing the second field of a Pair
Extract the snd component of a pair.