-
Notifications
You must be signed in to change notification settings - Fork 76
/
ocaml_toplevels.mli
34 lines (30 loc) · 1.52 KB
/
ocaml_toplevels.mli
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 *)
(* *)
(* Sebastien Hinderer, projet Gallium, INRIA Paris *)
(* *)
(* Copyright 2018 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. *)
(* *)
(**************************************************************************)
(* Descriptions of the OCaml toplevels *)
class toplevel :
name : string ->
flags : string ->
directory : string ->
exit_status_variable : Variables.t ->
reference_variable : Variables.t ->
output_variable : Variables.t ->
backend : Ocaml_backends.t ->
compiler : Ocaml_compilers.compiler ->
object inherit Ocaml_tools.tool
method backend : Ocaml_backends.t
method compiler : Ocaml_compilers.compiler
end
val ocaml : toplevel
val ocamlnat : toplevel