HaRe-0.6: tools/property/tests/RecPred.hs

module RecPred where

property Univ = Gfp X . X

property P = [] \/ (Univ : P)