liquidhaskell-0.9.0.2.1: tests/import/lib/B.hs

{-@ LIQUID "--reflection" @-}
module B  where 
import Language

{-@ reflect subst @-}
subst :: Expr l st r -> Expr l st r 
subst EUnit  = EUnit
subst e  = e