C# (CSharp) Microsoft.Armada AH.MakeAliasModuleDeclの例

コード例 #1

ファイル: ProofFiles.cs プロジェクト: b-xiang/Armada

        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);
        }