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

module CliRedBlue where

import           LibBlue 
import qualified LibRedBlue as RB 

{-@ yumyum :: _ -> Nat @-}
yumyum = RB.foo