Module Overlapping
Imports
Operations
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Exported names:
Operations:
isOverlappingFunction
orInExpr
Imported modules:
Prelude
FlatCurry.Types
Module
Overlapping
Summary of exported operations:
isOverlappingFunction
::
FuncDecl
-> Bool
orInExpr
::
Expr
-> Bool
Exported operations:
isOverlappingFunction
::
FuncDecl
-> Bool
orInExpr
::
Expr
-> Bool
Further infos:
partially defined