aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/system.mli
blob: 13265d1d833b95d96b65f9f2835e19e254062229 (plain)
1
2
3
4
5
6
7
8
9
10

(* $Id$ *)

(*s Time stamps. *)

type time_stamp

val get_time_stamp : unit -> time_stamp
val compare_time_stamps : time_stamp -> time_stamp -> int