Since the precise types of the input vectors depend on a value, it is possible to be certain at compile-time that the resulting vector will have exactly (n + m) elements of type a.
Deoarece tipurile precise de vectori de intrare depind de o valoare, este posibil să fie sigur la timpul de compilare că vectorul rezultat va avea elemente (n + m) de tip a.