liquidhaskell-0.8.0.2: tests/import/lib/ReflectLib1.hs

module ReflectLib1 where

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