liquidhaskell-0.9.0.2.1: tests/import/client/Client2Lib.hs

module Client2Lib where 

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