ループ不変 ふへん しきなら
rūpufuhenshikinara

Noun
Da Copula

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

1. If loop invariant; When loop invariant

Nara Conditional
Computing