expr.local_const

Stream: general

[Jakob von Raumer]

What's the difference between the first two arguments to expr.local_const?

[Johannes Hölzl]

the first is the internal name, the second is the pretty printed name