Expose printer

This commit is contained in:
Chris Done 2017-04-18 10:17:09 +01:00
parent 404818fce9
commit 170633dcf3

View File

@ -14,6 +14,7 @@ module THIH
, demo
, addInstance
, defaultClassEnvironment
, printAssumption
, Type(..)
, Expression(..)
, Literal(..)