LocalSpecImport.hs

module LocalSpecImport where

import LocalSpec

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