liquidhaskell-0.8.10.7: tests/measure/pos/HiddenData.hs

module HiddenData where 

import HiddenDataLib (blub) 

{-@ foo :: Nat -> Nat @-}
foo = blub