GenAutomata
Sections
NuprlLIB
Doc
Def
i <
j == if i < j
true
; false
fi
is mentioned
In prior sections:
bool
1
sqequal
1
list
1
mb
nat
mb
list
1
GenAutomata
Sections
NuprlLIB
Doc
j == if i < j
true ; false fi