liquidhaskell-0.4.0.0: include/Data/Tuple.spec

module spec Data.Tuple where

fst :: x:(a,b) -> {v:a | v = (fst x)}
snd :: x:(a,b) -> {v:b | v = (snd x)}