有人可以帮我理解迷你锌教程中的一些事情：
function set of $T: 'intersect'(set of $T: x, set of $T: y)
这返回集合x和y的交集。显然x和y是集合 - 但是在这种情况下$ T的意思是什么？
function var set of int: 'union'(var set of int: x, var set of int: y)
返回集合x和y的并集。根据我的理解，x是一组整数，y也是一组整数 - 但是＆＃39; var set of int＆＃39;意思？什么是＆＃39; var＆＃39; ？
function set of $U: array_union(array [$T] of set of $U: x)
返回数组x中集合的并集。你能解释一下：
function set of $U
和
array_union(array [$T] of set of $U: x)