[basic.link]/10 下面的句子中是否缺少 "if" 一词?

Isn't the word "if" missing in the sentence below in [basic.link]/10?

if这个词是不是少了,就在the sentence below at the end of [basic.link]/10中的all这个词之前?

As a consequence of these rules, all declarations of an entity are attached to the same module; the entity is said to be attached to that module.

不,没有遗漏“如果”,因为那不是一个有效的选项。如规则所述:

If two declarations of an entity are attached to different modules, the program is ill-formed; no diagnostic is required if neither is reachable from the other.

这样做的结果是,没有一个结构良好的程序可以将多个声明附加到不同的模块,因此那里不需要“if”。

此外,如果有“如果”,则分号将不正确。那里会有一个逗号,或者可能是一个冒号。