public void AddImport(string moduleName, string aliasName = null)
{
TopLevelDecl d;
if (aliasName == null)
{
d = AH.MakeAliasModuleDecl(moduleName, module.ArmadaTranslation, true);
}
else
{
d = AH.MakeAliasModuleDecl(aliasName, moduleName, module.ArmadaTranslation, false);
}
AddTopLevelDecl(d);
}
