package / ocaml-base-compiler.4.10.0 / debugger / program_management.mli
1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
6 (* OCaml port by John Malecki and Xavier Leroy *)
7 (* *)
8 (* Copyright 1996 Institut National de Recherche en Informatique et *)
9 (* en Automatique. *)
10 (* *)
11 (* All rights reserved. This file is distributed under the terms of *)
12 (* the GNU Lesser General Public License version 2.1, with the *)
13 (* special exception on linking described in the file LICENSE. *)
14 (* *)
15 (**************************************************************************)
16
17 (*** Program loading and initializations. ***)
18
19 val loaded : bool ref
20 val ensure_loaded : unit -> unit
21
22 (*** Kill program. ***)
23 val kill_program : unit -> unit
24
25 (* Ask whether to kill the program or not. *)
26 (* If yes, kill it. *)
27 (* Return true iff the program has been killed. *)
28 val ask_kill_program : unit -> bool
29