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

Question

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

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

:<> 是什么意思？

Answer 1

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