liquidhaskell-0.8.10.1: tests/import/client/WrapClient.hs

module WrapClient where

import WrapLib
import WrapLibCode 

{-@ bar :: {v:Int | v = 2 } @-}
bar = foo 1