liquidhaskell-0.8.10.1: tests/import/lib/WrapLib.hs

module WrapLib ( module WrapLibCode ) where 

import WrapLibCode

{-@ assume WrapLibCode.foo :: x:Nat -> {v:Nat | v = x + 1}  @-}