liquidhaskell-0.7.0.0: tests/pos/ReflectLib1.hs

module ReflectLib1 where

{-@ measure isNull @-}
isNull :: [a] -> Bool
isNull []     = True
isNull (x:xs) = False