liquidhaskell-0.8.0.2: tests/todo/LocalSpecImport.hs

module LocalSpecImport where

import LocalSpec

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