Date
2023-11-15.00:00:00
Message id
7528

Content

Additional notes (November, 2023):

An odr-use is a property of the program, not an evaluation that participates in the "happens before" relation.