module Example2: sig .. end
sig
end
val f : int -> int
int -> int
succ
val g : int -> int
val h_one : int -> int
val h_multi : int -> int
val i : int -> int
val j : int -> int