Exported names:
- Operations:
- loadAnalysisWithImports
- proveNonFailingFuncs
Imported modules:

Module Failfree

Summary of exported operations:

proveNonFailingFuncs
                  ::  AProg TypeExpr -> StateT VState IO ()

loadAnalysisWithImports
                  :: (Read a, Show a) => Analysis a -> AProg TypeExpr -> IO (ProgInfo a)

Exported operations:

proveNonFailingFuncs :: AProg TypeExpr -> StateT VState IO ()

loadAnalysisWithImports :: (Read a, Show a) => Analysis a -> AProg TypeExpr -> IO (ProgInfo a)