ループ表明
ループの特定の部分を毎回実行する前に成立していなければならない一つ以上の条件を指定する論理式。
loop assertion
アサーション
(
assertion
)