Index to all operations

. / < = A C F G N R S T \ | 

.

./=.  (CHR)
.<.  (CHR)
.<=.  (CHR)
.=.  (CHR)
.>.  (CHR)
.>=.  (CHR)

. / < = A C F G N R S T \ | 

/

/\  (CHR)

. / < = A C F G N R S T \ | 

<

<=>  (CHR)

. / < = A C F G N R S T \ | 

=

==>  (CHR)

. / < = A C F G N R S T \ | 

A

allCHR  (CHR)
andCHR  (CHR)
anyPrim  (CHR)

. / < = A C F G N R S T \ | 

C

chr2curry  (CHR)
chrsToGoal  (CHR)
compileCHR  (CHR)

. / < = A C F G N R S T \ | 

F

false  (CHR)

. / < = A C F G N R S T \ | 

G

ground  (CHR)

. / < = A C F G N R S T \ | 

N

nonvar  (CHR)

. / < = A C F G N R S T \ | 

R

runCHR  (CHR)
runCHRwithTrace  (CHR)

. / < = A C F G N R S T \ | 

S

solveCHR  (CHR)

. / < = A C F G N R S T \ | 

T

toGoal1  (CHR)
toGoal2  (CHR)
toGoal3  (CHR)
toGoal4  (CHR)
toGoal5  (CHR)
toGoal6  (CHR)
true  (CHR)

. / < = A C F G N R S T \ | 

\

\\  (CHR)

. / < = A C F G N R S T \ | 

|

|>  (CHR)

. / < = A C F G N R S T \ |