liquidhaskell-0.8.10.1: tests/import/client/Client2.hs

module Client2 where 

    {-@ reflect cProp @-}
    
    cProp :: Eq a => a -> a -> Bool 
    cProp x y = x == y