Commits

camlspotter committed 0cf0232 Merge
  • Participants
  • Parent commits 1df9696, dbef0f0

Comments (0)

Files changed (1)

File lib/xunix.mli

                      | `Ok of string ]
 (** Execute "file path" *)
 
-val gen_timed : (unit -> 't) -> ('t -> 't -> 't) -> ('a -> 'b) -> 'a -> 'b * 't
-
-val timed : ('a -> 'b) -> 'a -> 'b * float
+val timed : ('a -> 'b) -> 'a -> 'b * float (* in sec *)
 
 module Process_times : sig
   type t = process_times