Merge pull request #10 from GaloisInc/expose-ast

Expose additional AST datatypes for downstream use
This commit is contained in:
Ilya Rezvov
2021-01-08 15:57:31 -08:00
committed by GitHub
+6
View File
@@ -10,6 +10,12 @@ module Language.Wasm (
decode,
decodeLazy,
Script,
Command(..),
ModuleDef(..),
Action(..),
Assertion(..),
Ident(..),
Meta(..),
runScript
) where