liquidhaskell-0.8.10.7: tests/names/pos/Set02.hs
module Set00 where
import Data.Set as S
{-@ add :: x:a -> [a] -> {v:[a] | S.member x (listElts v)} @-}
add :: a -> [a] -> [a]
add apple pork = apple : pork module Set00 where
import Data.Set as S
{-@ add :: x:a -> [a] -> {v:[a] | S.member x (listElts v)} @-}
add :: a -> [a] -> [a]
add apple pork = apple : pork