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