val x : int;;
val y : string;;
val f : bool -> int;;