Syntax 什么是：<&燃气轮机；在函数声明中是什么意思？_Syntax_Ats

Syntax 什么是：<&燃气轮机；在函数声明中是什么意思？

syntax

Syntax 什么是：<&燃气轮机；在函数声明中是什么意思？,syntax,ats,Syntax,Ats,文件libats/ML/SATS/funset.SATS中的funset\u nil声明如下： fun{} funset_nil{a:t0p} ():<> set(a) fun{}funset_nil{a:t0p}（）：集（a）：是什么意思？这表示函数是纯函数。不得产生任何影响。请看

文件

libats/ML/SATS/funset.SATS

中的

funset\u nil

声明如下：

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

fun{}funset_nil{a:t0p}（）：集（a）

：

是什么意思？

这表示函数是纯函数。不得产生任何影响。请看