Module CurryBrowseAnalysis.Nondeterminism

Summary of exported operations:

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

Exported operations:

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

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