[project @ 2003-06-03 22:26:44 by diatchki]

[ghc-base.git] / Control / Monad / X / laws / Prop.hs

module Prop where

data Prop a

infix 1 ===
(===) :: a -> a -> Prop a
(===) = error "==="