Commits

camlspotter  committed dbef0f0

hide gen_timed

  • Participants
  • Parent commits 0ce1cc0

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