liquidhaskell-0.8.0.2: tests/import/client/ReflectClient1.hs

module ReflectClient0 where

import ReflectLib1

{-@ myHead :: {v:[a] | not (isNull v) } -> a @-}
myHead :: [a] -> a
myHead (x:_) = x