liquidhaskell-0.7.0.0: tests/todo/LocalSpecImport.hs

module LocalSpecImport where

import LocalSpec

{-@ baz :: Nat -> Nat @-}
baz :: Int -> Int
baz x = x