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

module Client0 where

    import Client1Lib
    
    a :: Eq a => B a -> Bool 
    a (B x y) = x == y