latch inference

/ントゥレリ/
/ンふァランス/

p.247

Contrary to that, the code on the right provides a full in-out mapping description (it ends in "else value"), so latch inference does not occur.

非公式訳:
それとは逆に、右側のコードは入出力の関係が全部記述してあります(最後がelse値で終わっている)。そのため(訳註: コンパイラーによって勝手に)ラッチが挿入されることはありません。