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

module Client1Lib where 

    import Client2Lib
    
    data B a = B {b1 :: a, b2 :: a }
    {-@ data B a = B {b1 :: a, b2 :: {v:a | cProp b1 v } } @-}