OCaml：类型定义语法

我阅读了一个定义如下的程序：

    type 'a queue = ('a list * 'a list) ref

---

我不懂这里的语法。是工会还是什么？

这是同义词/别名。类型

（'a list*'a list）ref

在OCaml中已经有意义（它是对类型

'a

的一对列表的引用），我们给它一个新的、较短的名称，

'a queue

。更准确地说，

queue

是参数化类型的名称，这里的参数名为

'a

。

您好，我也不知道如何使用此参数化类型定义队列。你能帮我一下吗？