“＆lt;＆gt;”的含义在ADT规范中

Question

在阅读“使用C的数据结构”（Tenenbaum，Langsam，Augenstein）时，我在抽象数据类型的解释中遇到了一个不熟悉的运算符。

这是指定理性为ADT的部分（第14页）：

"
/* value definition*/
abstract typedef <integer, integer> RATIONAL;
condition RATIONAL[1] <> 0;

/*operator definition*/
abstract RATIONAL makerational(a,b)
int a,b;
precondition b<>0;
postcondition makerational[0] == a;
              makerational[1] == b;

abstract RATIONAL add(a,b)
RATIONAL a,b;
postcondition add[1] == a[1] * b[1]
postcondition add[0] == a[0] * b[1] + b[0] * a[1];

..."

我的理解是，这里的总体目标是在合法操作方面为输入整数a b定义合理数据类型。但是，使用＆lt;＆gt;第4和第9行的操作员不清楚。 “＆lt;＆gt;”的含义是什么？在这种情况下？

快速搜索堆栈没有返回相关结果，但我提前道歉可能重复。