データタイプ理論 りろんだったら
dētataipurirondattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of データタイプ理論

1. If it were datatype theory; Were datatype theory the case

Tara Conditional