[project @ 2003-06-04 14:52:09 by ralf]

[haskell-directory.git] / Control / Monad / X / laws / Prop.hs

module Prop where

data Prop a

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