25.13.3 Variadic Functions ¶

Functions getting an arbitrary number of arguments are denoted like this:

fun printf (string fmt, args...) void: { ... }

The variadic argument shall be the last argument in the function, and it is of type any[].