配列以外のすべての複合型には、特別なプロパティを持つコンポーネントである判別式を含めることができます。判別式は、離散型でもアクセス型でも構いません。後者の場合、アクセスタイプは名前付きアクセスタイプでも匿名でもかまいません。匿名アクセス型の判別式は、アクセスパラメータとの類推によってアクセス判別式と呼ばれます。