帰納 きのう てき関数 かんすうだったら
kinō teki kansūdattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 帰納的関数

1. If it were an inductive function.; When it is an inductive function.

Tara Conditional
Computing