liquidhaskell-0.4.0.0: tests/pos/Moo.hs

module Moo (plusOne) where

{-@ assert plusOne :: x:Int -> {v:Int| v > x } @-}
plusOne :: Int -> Int
plusOne x = x + 1