In [1]:

    

(* a comment *)
let x : int = 23
let y : bool = false
let z : string = "a string"
let () = ignore (1)
let () = for i=0 to 10 do () done 
let rec f i = match i with 0 -> 0 | _ -> i + f (i-1) 
module M = struct
end
module type S = sig
    val t : int -> int
end


    

    




val x : int = 23
val y : bool = false
val z : string = "a string"
val f : int -> int = <fun>
module M : sig  end
module type S = sig val t : int -> int end