liquidhaskell-0.4.0.0: tests/pos/implies.hs

module Imp where

{-@ inline implies @-}
implies p q = (not p) || q