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: Dec 20 2023 at 11:08 UTC