SUPPORTjlc Sections NuprlLIB Doc

Def S T == x:S. x T

is mentioned

In prior sections: quot 1 discrete jlc core 3 jlc int 1


SUPPORTjlc Sections NuprlLIB Doc