module Imp where

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