什么意思：<>（以ats表示的冒号小于等于大于]

Question

仅在“ ats编程简介”一书的从属类型阶乘部分中遇到了这个符号:<>：https://ats-lang.github.io/DOCUMENT/INT2PROGINATS/HTML/x3215.html以前似乎没有任何解释。我的假设是，它与单个冒号:

相同

Answer 1

这种奇怪的语法用来表示一个函数是纯函数，也就是说，在调用时不会引起任何影响。