Salve, sapreste fornirmi un esempio di funzione in CAML che abbia tipo (int -> int) -> int
senza utilizzare la definizione di una funzione ausiliaria?
Grazie


E' un po' "strana" come domanda, comunque ecco qua la tua funzione:

Codice: Seleziona tutto

fun x -> x(0)+0;;