liquidhaskell-0.9.0.2.1: tests/import/lib/SpecLib.hs

module SpecLib where 

data Foo = FooDC Int 
{-@ data Foo = FooDC {unfoo :: {v:Int | 0 < v }} @-} 

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