MarkB
generic
Sections
NuprlLIB
Doc
Def
x=
y
Atom == if x=y
Atom
true
; false
fi
is mentioned
In prior sections:
bool
1
sqequal
1
mb
basic
MarkB
generic
Sections
NuprlLIB
Doc
y
Atom == if x=yAtom
true; false fi