export BindType(..)

This commit is contained in:
Krasimir Angelov
2023-03-01 09:57:48 +01:00
parent 527a4451d3
commit 8190d9fe49

View File

@@ -31,7 +31,7 @@ module PGF(
languages, abstractName, languageCode, languages, abstractName, languageCode,
-- * Types -- * Types
Type, Hypo, Type, Hypo, BindType(..),
showType, readType, showType, readType,
mkType, mkHypo, mkDepHypo, mkImplHypo, mkType, mkHypo, mkDepHypo, mkImplHypo,
unType, unType,