Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
.
B
C
E
F
N
S
T
.
.&&
(
CLPB
)
./=
(
CLPB
)
.<
(
CLPB
)
.<=
(
CLPB
)
.==
(
CLPB
)
.>
(
CLPB
)
.>=
(
CLPB
)
.||
(
CLPB
)
.
B
C
E
F
N
S
T
B
bound
(
CLPB
)
.
B
C
E
F
N
S
T
C
check
(
CLPB
)
count
(
CLPB
)
.
B
C
E
F
N
S
T
E
evaluate
(
CLPB
)
exists
(
CLPB
)
.
B
C
E
F
N
S
T
F
false
(
CLPB
)
.
B
C
E
F
N
S
T
N
neg
(
CLPB
)
.
B
C
E
F
N
S
T
S
satisfied
(
CLPB
)
simplify
(
CLPB
)
.
B
C
E
F
N
S
T
T
true
(
CLPB
)
.
B
C
E
F
N
S
T