is mentioned by
In prior sections: discrete jlc list 3 jlc var jlc
Try larger context: ClassicalProps(jlc)
x,y:T. Dec(x = y)