В чем разница между объявлением окружения, объявлением окружающего модуля и объявлением окружающего модуля?

Question

Меня немного смущают эти определения, я видел официальную документацию по машинописи и не понимаю наиболее адекватное определение ambient и как оно влияет на слова module (ambient module и ambient module declaration) ) используется вместе.