lib/system.ml


1
2
3
4
5
6
7
8
9
10
11
12
13


(* $Id$ *)

(* Time stamps. *)

type time_stamp = float

let get_time_stamp () = Unix.time()

let compare_time_stamps t1 t2 =
  let dt = t2 -. t1 in
  if dt < 0.0 then -1 else if dt = 0.0 then 0 else 1