liquidhaskell-0.9.0.2.1: tests/pos/Bool2.hs

module Bool2 where


{-@ gerb :: (Ord a) => x:a -> {v:a | x <= v } -> {v:a | x <= v} @-}
gerb :: (Ord a) => a -> a -> a 
gerb x y = y 

 
moo = gerb False False