SUPPORTjlc Sections NuprlLIB Doc

Def Discrete{T} == x,y:T. Dec(x = y)

is mentioned

In prior sections: discrete jlc list 3 jlc


SUPPORTjlc Sections NuprlLIB Doc