On Tue, 1 Jul 2025 17:11:14 +0200
Nam Cao [off-list ref] wrote:

quoted

There's nothing in the code that even states that this was generated
(if they were).  

Yeah this entire file is generated from the LTL specification. I will add a
comment.

Yeah, generated code needs a big comment at the top of the file on what
generated it. Bonus points if it shows how it was generated so that
people will know how to regenerate it.

-- Steve