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