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

module ReflectClient1 where

import ReflectLib1

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