liquidhaskell-0.9.0.2.1: tests/pos/Implies.hs

module Implies where

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