discrete jlc Sections Support(jlc) Doc

Def T == {:True| T }

is mentioned

In prior sections: core


discrete jlc Sections Support(jlc) Doc