Toggle navigation
KiCS2
Module CurryBrowseAnalysis.Indeterminism
Imports
Operations
Curry Homepage
KiCS2 Libraries
About CurryDoc
Exported names:
Operations:
analyseIndeterminism
choiceInExpr
Imported modules:
Prelude
FlatCurry.Types
List
CurryBrowseAnalysis.Dependency
Module
CurryBrowseAnalysis.Indeterminism
Summary of exported operations:
analyseIndeterminism
:: [
FuncDecl
] -> [((String,String),Bool)]
choiceInExpr
::
Expr
-> Bool
Exported operations:
analyseIndeterminism
:: [
FuncDecl
] -> [((String,String),Bool)]
choiceInExpr
::
Expr
-> Bool