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

module LibRedBlue where

import LibRed 
import qualified LibBlue as Blue 

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