syntax - :<> 在函数声明中是什么意思？

Question

funset_nil文件中的声明libats/ML/SATS/funset.sats如下：

fun{} funset_nil{a:t0p} ():<> set(a)

是什么:<>意思？

Answer 1

这表明该函数是纯的。不会发生任何影响。请参阅https://github.com/githwxi/ATS-Postiats/wiki/effects。