(* Introduction *)

(* Test evaluation.... *)

fun f [a] (x : a) : a = x

(* begin eval *)
f 6
(* end *)

(* Did it work? *)