Florian Guthmann (Jan 16 2024 at 16:46): Florian Guthmann (Jan 16 2024 at 16:46):What is the reason that Program/Tactic/Db cannot be declared in a section?
I would like to structure my code that way, are there alternatives?
Enrico Tassi (Jan 16 2024 at 20:28):The problem is that there is no facili to abstract elpi code over the section variables it uses. At least, I don't think the spec is clear.
Is this what you are trying to achieve?
Florian Guthmann (Jan 16 2024 at 21:35):Oh ok, thanks for the info. That's what I wanted to do.
Enrico Tassi (Jan 16 2024 at 23:10):If you can provide a concrete example maybe I can find an alternative way to do it.
Last updated: Oct 13 2024 at 01:02 UTC