Merge pull request #16 from GaloisInc/crucibleExports

More Wasm exports needed for Galois crucible tool support.

package.yaml

@@ -22,6 +22,7 @@ library:
   exposed-modules:
   - Language.Wasm.Script
   - Language.Wasm.Lexer
+  - Language.Wasm.Structure
   - Language.Wasm
   dependencies:
   - array                >= 0.5

src/Language/Wasm.hs

@@ -16,7 +16,8 @@ module Language.Wasm (
     Assertion(..),
     Ident(..),
     Meta(..),
-    runScript
+    runScript,
+    Valid.getModule
 ) where
 
 import qualified Data.ByteString as BS