SUPPORTjlc Sections NuprlLIB Doc

Def {i..j} == {k:| i k < j }

is mentioned

In prior sections: int 1 bool 1 int 2 list 1 prog 1


SUPPORTjlc Sections NuprlLIB Doc