UnboundCheckVar.hs

{-@ LIQUID "--checks=ink" @-}

module UnboundCheckVar where 

inc :: Int -> Int 
inc x = x + 1