added smart constructors for types in PGF

2009-10-15 16:21:26 +00:00
parent 861e0a4c13
commit 70ec6632fd
2 changed files with 23 additions and 2 deletions
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -27,8 +27,9 @@ module PGF(
           languages, abstractName, languageCode,
           
           -- * Types
-           Type,
+           Type, Hypo,
           showType, readType,
+	   mkType, mkHypo, mkDepHypo, mkImplHypo,
           categories, startCat,

           -- * Functions