つまり、シンプルに言えば、プログラム側では明示的な記述になっていない情報を、ソースコード全体が明示的な情報を持つものにする為にコメントがあると言えそう＞＜
(この文脈で言う明示的には「広範囲の推論によって読み取れる」は含まない＞＜)