blob: a0b9d084e475916b3b71adac07d0c724f500ea06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
(* OCaml port by John Malecki and Xavier Leroy *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(* Miscellaneous parameters *)
val program_name : string ref
val socket_name : string ref
val arguments : string ref
val default_load_path : string list ref
val breakpoint : bool ref
val prompt : bool ref
val time : bool ref
val version : bool ref
val add_path : string -> unit
val add_path_for : string -> string -> unit
(* Used by emacs ? *)
val emacs : bool ref
val machine_readable : bool ref
|
