1 (***********************************************************************)
5 (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
6 (* Objective Caml port by John Malecki and Xavier Leroy *)
8 (* Copyright 1996 Institut National de Recherche en Informatique et *)
9 (* en Automatique. All rights reserved. This file is distributed *)
10 (* under the terms of the Q Public License version 1.0. *)
12 (***********************************************************************)
14 (* $Id: parameters.mli 9221 2009-04-02 09:06:33Z xclerc $ *)
16 (* Miscellaneous parameters *)
18 val program_name : string ref
19 val socket_name : string ref
20 val arguments : string ref
21 val default_load_path : string list ref
23 val add_path : string -> unit
24 val add_path_for : string -> string -> unit