SUPPORTjlc
Sections
NuprlLIB
Doc
Def
{T=
} == {eq:(T
T
)|
x,y:T.
(eq(x,y))
x = y }
is mentioned
In prior sections:
discrete
jlc
core
3
jlc
list
3
jlc
SUPPORTjlc
Sections
NuprlLIB
Doc
} == {eq:(T
T
)| 
x,y:T. 
(eq(x,y)) 
x = y }