liquidhaskell-cabal-demo-0.2.1.0: app/Checked/X2.hs

module Checked.X2 where

{-@ x :: {v:Int | v = 2} @-}
x :: Int
x = 2