liquidhaskell-0.8.10.7: tests/basic/pos/alias01.hs

module Alias01 where 

{-@ predicate LessThan Thing V = Thing < V @-}

{-@ inc :: x:Int -> {v:Int | LessThan x v} @-} 
inc :: Int -> Int 
inc x = x + 1