adam@1494: (* Introduction *)
adam@1494: 
adam@1493: (* Test evaluation.... *)
adam@1493: 
adam@1493: fun f [a] (x : a) : a = x
adam@1493: 
adam@1493: (* begin eval *)
adam@1493: f 6
adam@1493: (* end *)
adam@1493: 
adam@1493: (* Did it work? *)