10.22 データ型

@deftp コマンドを用いデータ型の定義を表すことができます。

     @deftp category data-type attributes
     body-of-definition
     @end deftp

category にカテゴリ、data-type に定義するデータ型、attributes に属性、body-of-definition に定義を記述します。data-type はデータ型索引¹ にエントリされます。