何が：<>関数宣言では？

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を参照してください。