Toggle navigation
PAKCS
Module NondetAnalysis
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
getNondetInfos
Imported modules:
Prelude
Nondeterminism
FlatCurry.Types
FlatCurry.Read
FlatCurry.Goodies
Module
NondetAnalysis
Summary of exported operations:
getNondetInfos
:: String -> IO [(String,Bool)]
Exported operations:
getNondetInfos
:: String -> IO [(String,Bool)]