Re: Pre-main construction order in modules

On 4/1/25 06:20, Michael S wrote:
...

It seems to me that saying that events are "strongly ordered" makes
sense only when "weakly ordered" and "unordered" are not the same.
In this particular case I don't see how exactly "weakly ordered"
differs from "unordered".

The term is "happens before", not "ordered". The standard defines
neither "weakly happens before" nor anything connected to "happens
before" that would be analogous to "unordered". See my response
else-thread for more details on the relevant definitions.