Toggle navigation
PAKCS
Module Check.AST.Pattern.NotEqual
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
checkNotEqual
Imported modules:
Prelude
Curry.SpanInfo
Curry.Span
Curry.Position
Curry.Types
Curry.Ident
Text.Pretty
Types
Module
Check.AST.Pattern.NotEqual
Summary of exported operations:
checkNotEqual
::
Expression
a -> Int ->
State
CheckState
()
Exported operations:
checkNotEqual
::
Expression
a -> Int ->
State
CheckState
()