しての位置によりアクセスされる。置とは無関係に参照することができる。定義はその構成子の構成要素にラベルを割り当てる。いた構成子はそれを用いない構成子と自由に混在して使用することができる。ルドの出現順と同じ順であらわれる。}が定義する型と構成子は以下の定義によるものと同一である。なじなら、同じフィールドラベルを使用することができる。囲内で2つ以上の型により共有することはできない。囲内の他のトップレベルの名前と衝突してはならない。タ型宣言中の対応する型が正格フラグを持つ場合でありその場合に限る。」は通常の変数記号であって予約済み演算子ではない。引数型の文脈内でのみ特別な意味をもつ。