fill in more gaps in the API

This commit is contained in:
krangelov
2021-08-27 15:05:42 +02:00
parent 3e7d80bf30
commit e9ec4cef67
3 changed files with 21 additions and 1 deletions

View File

@@ -32,6 +32,8 @@ module PGF2 (-- * PGF
mkDouble, unDouble,
mkFloat, unFloat,
mkMeta, unMeta,
-- extra
exprSize, exprFunctions,
-- ** Types
Type(..), Hypo, BindType(..), startCat,
readType, showType,