1 2 3 4 5 6 7 8 9 10 11
(* Introduction *) (* Test evaluation.... *) fun f [a] (x : a) : a = x (* begin eval *) f 6 (* end *) (* Did it work? *)