OberonCore

Как экспортировать тип знаю, достаточно поставить звёздочку:

А потом как эту а в импортировать для использования в другом модуле ?

Необходимо подключить модуль (IMPORT ModuleName), где эта a описана и затем указать в нужном месте ModuleName.a, где ModuleName - имя вашего модуля.

Вы не можете импортировать что-то из модуля "по отдельности".
Вы также не можете упоминать импортированные элементы из импортированных модулей без их полной квалификации. Никаким образом.
То есть, вы не можете написать в коде просто var := 25; для переменной var из модуля VarModule. Надо обязательно VarModule.var := 25;.

Если бы это было так просто, я бы не задавал вопроса. Уточню. Имеется модуль №1

И модуль №2 в который надо импортировать эту а.b. Я пробовал делать так, но это ошибочно:

а - в данном случае тип
В VAR надо указывать переменная какого типа, т.е. будет так:

VAR c: Experiment1.a;

а уже к b обращаться как c.b

Александр, скажите пожалуйста, а Вы раньше писали на каком-то другом языке?
Я попробую угадать - опыт со скриптовыми (Питон, PHP...) был?

Помогло, спасибо за ответы.