liquidhaskell-0.8.0.2: tests/import/lib/ReflectLib0.hs

module ReflectLib0 where

{-@ inline gtThan @-}
gtThan :: Int -> Int -> Bool
gtThan x y = x > y


{-@ predicate GreaterThanA X Y = X > Y @-}