这个问题是理论上的，我无法测试它。
有一个程序 Delphi (10.3)，模块连接在里面
uses m1 {там type tm000=string}, m2 {там type tm000=integer};
type tm000=byte; {local}
var v:tm000;
begin
// тут узнать тип переменной v
end;
end.
RError.com
当前模块中定义的类型将始终被使用。然后从右到左使用可插入子模块中的类型。那些。首先从 m2，然后是 m1。
如果要在一个模块中使用所有类型，则必须指定模块的名称。