KiCS2
Exported names: Imported modules:

Module CurryBrowseAnalysis.Nondeterminism

Summary of exported operations:

analyseNondeterminism :: [FuncDecl] -> [((String,String),Bool)]   
analyseSetValued :: [FuncDecl] -> [((String,String),Bool)]   

Exported operations:

analyseNondeterminism :: [FuncDecl] -> [((String,String),Bool)]   

analyseSetValued :: [FuncDecl] -> [((String,String),Bool)]