ループ不変 ふへん しきだったら
rūpufuhenshikidattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of ループ不変式

1. If the loop invariant is true; When the loop invariant is true

Tara Conditional
Computing