MarkB
generic
Sections
NuprlLIB
Doc
Def
SQType(T) ==
x,y:T. x = y
{x ~ y}
is mentioned
In prior sections:
sqequal
1
prog
1
mb
basic
MarkB
generic
Sections
NuprlLIB
Doc
x,y:T. x = y 
{x ~ y}