http://bbs.aardio.com/forum.php?mod=viewthread&tid=11257&from=portal
:: 全局常量操作符
这个操符符用于将一个变量名转换为 global名字空间下的全局常量名 - 并保护该常量在其后加载的代码中一旦
赋为非空值后即不可修改，例如：
::Kernel32 := raw.loadDll("Kernel32.dll");
全局常量需要遵守以下使用规则
1、全局常量名首字母大写（以区别普通变量 ）。
aardio默认定义了少量全局常量函数名 - 这些关键函数全部小写首字母，但在aardio编辑器中显示为蓝色高亮状态。
2、当一个变量被定义为全局常量，赋于非空值以后其值即不能再随意更改 。
全局常量一般使用 ::Name := 初始值 赋值，等价于使用 ::Name = ::Name or 初始值 以避免重复初始化。
3、::的作用域是根据代码的载入顺序向下向后的，所以在同一文件中已定义的全局常量名时再次使用可以省略::前缀，
但因为代码文件的载入有不确定性 - 在其他文件首次使用该常量名时仍然应该使
原文：https://www.cnblogs.com/yaoyue68/p/10486181.html