liquidhaskell-0.9.0.2.1: tests/pos/TyExpr.hs

module TyExpr where

{-@ type Range Lo Hi = {v:Int | Lo <= v && v < Hi} @-}

{-@ bow :: Range 0 100 @-}
bow :: Int
bow = 12