diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2023-03-01 09:57:48 +0100 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2023-03-01 09:57:48 +0100 |
| commit | 8190d9fe497df770ac9f294e0b45a5f01c09d62e (patch) | |
| tree | e9c4ae8c481e5ee8c24397c869da7982844013f6 | |
| parent | 527a4451d3aebaafbdf43401fca7ecf9b3a8c259 (diff) | |
export BindType(..)
| -rw-r--r-- | src/runtime/haskell/PGF.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs index a432aa9bb..1138c9634 100644 --- a/src/runtime/haskell/PGF.hs +++ b/src/runtime/haskell/PGF.hs @@ -31,7 +31,7 @@ module PGF( languages, abstractName, languageCode, -- * Types - Type, Hypo, + Type, Hypo, BindType(..), showType, readType, mkType, mkHypo, mkDepHypo, mkImplHypo, unType, |