メインコンテンツへスキップ
任意の型の要素に対する仮説を呼び出すために使用される型です。詳細については、すべての型の要素に対する仮説を参照してください。