blob: b887f5eb51bbcdb1efced87f37f9f7d1df88c1e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* $Id$ *)
(*s Files and load path. *)
val add_path : string -> unit
val del_path : string -> unit
val extern_intern : int -> string -> (string -> 'a -> unit) * (string -> 'a)
(*s Time stamps. *)
type time_stamp
val get_time_stamp : unit -> time_stamp
val compare_time_stamps : time_stamp -> time_stamp -> int
|