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

module ReExportClient where

import ReExportLib

{-@ bar :: Foo -> {v:Int | 0 < v} @-} 
bar :: Foo -> Int 
bar (FooDC x) = x


{-@ booz :: Foo -> {v:Int | 0 < v} @-} 
booz :: Foo -> Int 
booz x = cfun x