1
0
forked from GitHub/gf-core

expose PGF and Concr for FFI

This commit is contained in:
Krasimir Angelov
2018-11-27 21:09:35 +01:00
parent 735f5ff76f
commit abf3911b70

View File

@@ -12,6 +12,9 @@ module PGF2.Internal(-- * Access the internal structures
build, eAbs, eApp, eMeta, eFun, eVar, eTyped, eImplArg, dTyp, hypo, build, eAbs, eApp, eMeta, eFun, eVar, eTyped, eImplArg, dTyp, hypo,
AbstrInfo, newAbstr, ConcrInfo, newConcr, newPGF, AbstrInfo, newAbstr, ConcrInfo, newConcr, newPGF,
-- * Expose PGF and Concr for FFI with C
PGF(..), Concr(..),
-- * Write an in-memory PGF to a file -- * Write an in-memory PGF to a file
writePGF writePGF
) where ) where