(* Introduction *)

(* This tutorial is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *)

(* Test evaluation.... *)

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

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

(** Section *)

val y = 9