liquidhaskell-cabal-demo-0.2.1.0: app/Unchecked.hs

module Unchecked where

import qualified Checked.X1

{-@ x :: {v:Int | v = 1} @-}
x :: Int
x = Checked.X1.x -- == 2