MiniZinc中的$是什么意思？

Question

[我看到$在MiniZinc Handbook的各个位置使用了$（主要是在Reference Manual部分），但是我无法找到定义。有人可以向我解释一下。谢谢。