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
_
_
_impl#/=#Prelude.Eq#CLPB.Boolean
(
CLPB
)
_impl#==#Prelude.Eq#CLPB.Boolean
(
CLPB
)
_impl#show#Prelude.Show#CLPB.Boolean
(
CLPB
)
_impl#showList#Prelude.Show#CLPB.Boolean
(
CLPB
)
_impl#showsPrec#Prelude.Show#CLPB.Boolean
(
CLPB
)
_inst#Prelude.Eq#CLPB.Boolean
(
CLPB
)
_inst#Prelude.Show#CLPB.Boolean
(
CLPB
)
.
B
C
E
F
N
S
T
_