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

module LibRedBlue where 

import LibRed 
import qualified LibBlue as Blue 

{-@ foo :: Thing -> Nat @-}
foo :: Thing -> Int  
foo _ = 10