In effetti dovrebbero essere solo quelli..ad esempio in una procedura di inserimento elementi in una lista ho:

inslista : (tipoelem, posizione, lista) -> lista

Perché, in questo caso, elabora proprio questi 3 parametri?