[1] 明示連結規則は、明示連結の連結集合宣言で使います。

• [2] 明示連結規則 := ;; (166.1)
  • [3] 原始要素指定 1*ps 結果要素指定 /
  • [4] 原始要素指定 1*ps rni IMPLIED /
  • [5] rni IMPLIED 1*ps 結果要素指定

仕様書:

• JIS X 4151‐1992 11.2.2 明示連結規則
• CNS 13854‐86 (1992) 11.2.2 外顯鏈結規則

[6] IMPLIED は、応用に補完させることを意味します。

結果要素型の代わりに IMPLIED を使えるのは、 一つの連結集合中で1度だけです。 (逆じゃないんだ。)