[project @ 2003-06-04 14:52:09 by ralf]
[packages/old-time.git] / Control / Monad / X / laws / Prop.hs
1 module Prop where
2
3 data Prop a
4
5 infix 1 ===
6 (===) :: a -> a -> Prop a
7 (===) = error "==="
8