type-settheory-0.1: Type/defs.h.hs

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
-- |
--Module       : 
--Author       : 
--License      : 
--Copyright    : 
--
--Maintainer   : 
--Stability    : 
--Portability  : 
--
--------------------------------------------------------------------------------
--Description  : 
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
-- |
--Module       : 
--Author       : 
--License      : 
--Copyright    : 
--
--Maintainer   : 
--Stability    : 
--Portability  : 
--
--------------------------------------------------------------------------------
--Description  : 
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
-- |
--Module       : 
--Author       : 
--License      : 
--Copyright    : 
--
--Maintainer   : 
--Stability    : 
--Portability  : 
--
--------------------------------------------------------------------------------
--Description  : 
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------

#define PROP *
#define SET (* -> PROP)
#define SET1 (SET -> PROP)
#define SET2 (SET1 -> PROP)
#define SET3 (SET2 -> PROP)