timer.ml

let time_execution func =
  let start_time = Sys.time () in
  let ret = func () in
  let end_time = Sys.time () in
  end_time -. start_time, ret
(* val time_execution : (unit -> 'a) -> float * 'a *)

let print_stuff () = Printf.printf "hello, world\n"
let compute_stuff () = 10 + 10

let print_time, () = time_execution print_stuff
let compute_time, value = time_execution compute_stuff