liquidhaskell-0.8.10.7: tests/basic/pos/alias02.hs
module Alias00 where
{-@ predicate Less X Y = X < Y @-}
{-@ inc :: x:Int -> {v:Int | Less x v} @-}
inc :: Int -> Int
inc x = x + 1
module Alias00 where
{-@ predicate Less X Y = X < Y @-}
{-@ inc :: x:Int -> {v:Int | Less x v} @-}
inc :: Int -> Int
inc x = x + 1