Then this means that the objects exported by module M1 to the universe of its enclosing program can now be used inside module M2.
To znamená, že objekty exportované modulem M1 do svého programu mohou být nyní použity i uvnitř modulu M2.