Toggle navigation
KiCS2
Module CurryBrowseAnalysis.Overlapping
Imports
Operations
Curry Homepage
KiCS2 Libraries
About CurryDoc
Exported names:
Operations:
isOverlappingFunction
orInExpr
Imported modules:
Prelude
FlatCurry.Types
Module
CurryBrowseAnalysis.Overlapping
Summary of exported operations:
isOverlappingFunction
::
FuncDecl
-> Bool
orInExpr
::
Expr
-> Bool
Exported operations:
isOverlappingFunction
::
FuncDecl
-> Bool
orInExpr
::
Expr
-> Bool