Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
*
*#
(
BinInt
)
*^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
+
+#
(
BinInt
)
+^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
-
-#
(
BinInt
)
-^
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
C
cmpInteger
(
BinInt
)
cmpNat
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
D
dec
(
BinInt
)
div2
(
BinInt
)
divInteger
(
BinInt
)
divModInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
F
fromBinInt
(
ConvertBinInt
)
fromNat
(
ConvertBinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
I
inc
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
L
lteqInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
M
mod2
(
BinInt
)
modInteger
(
BinInt
)
mult2
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
N
neg
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
P
pred
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
Q
quotInteger
(
BinInt
)
quotRemInteger
(
BinInt
)
quotRemNat
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
R
remInteger
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S
S
succ
(
BinInt
)
*
+
-
C
D
F
I
L
M
N
P
Q
R
S