Import Submodule Part 2

cryptol-saw-core/src/CryptolSAWCore/Cryptol.hs

@@ -26,6 +26,8 @@ between these two modules is mostly a function of historical accident.
 
 module CryptolSAWCore.Cryptol
   ( module CryptolSAWCore.GlobalCryptolEnv
+  , ImportVisibility(..)
+  , ImportInfo(..)
 
   , isErasedProp
   , proveProp
@@ -118,6 +120,7 @@ import CryptolSAWCore.Panic
 import qualified CryptolSAWCore.Pretty as CryPP
 import CryptolSAWCore.GlobalCryptolEnv
 
+
 -- | bindTParam' - create a binding for a type parameter, returning 3-tuple:
 --                 - environment
 --                 - the SAWCore kind of the parameter