liquidhaskell-0.6.0.0: tests/pos/Even.hs

module Even where 

{-@ type Even = {v:Int | v mod 2 = 0} @-}

{-@ notEven :: Int -> Even @-}
notEven :: Int -> Int
notEven x = x * 2