Zulip Chat Archive
Stream: general
Topic: expr.local_const
Jakob von Raumer (Apr 17 2018 at 14:28):
What's the difference between the first two arguments to expr.local_const
?
Johannes Hölzl (Apr 17 2018 at 14:32):
the first is the internal name, the second is the pretty printed name
Last updated: May 02 2025 at 03:31 UTC