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

module CliRedBlue where 

import           LibBlue 
import qualified LibRedBlue as RB 

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