l4/pkg/ocaml/contrib/bytecomp/meta.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
   9 (*  under the terms of the Q Public License version 1.0.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: meta.mli 6224 2004-04-16 13:46:43Z starynke $ *)
  14
  15 (* To control the runtime system and bytecode interpreter *)
  16
  17 external global_data : unit -> Obj.t array = "caml_get_global_data"
  18 external realloc_global_data : int -> unit = "caml_realloc_global"
  19 external static_alloc : int -> string = "caml_static_alloc"
  20 external static_free : string -> unit = "caml_static_free"
  21 external static_release_bytecode : string -> int -> unit = "caml_static_release_bytecode"
  22 external static_resize : string -> int -> string = "caml_static_resize"
  23 type closure = unit -> Obj.t
  24 external reify_bytecode : string -> int -> closure = "caml_reify_bytecode"
  25 external invoke_traced_function : Obj.t -> Obj.t -> Obj.t -> Obj.t
  26                                 = "caml_invoke_traced_function"
  27 external get_section_table : unit -> (string * Obj.t) list
  28                                 = "caml_get_section_table"