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

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*         Jerome Vouillon, 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: translobj.mli 9079 2008-10-08 13:09:39Z doligez $ *)
  14
  15 open Lambda
  16
  17 val oo_prim: string -> lambda
  18
  19 val share: structured_constant -> lambda
  20 val meth: lambda -> string -> lambda * lambda list
  21
  22 val reset_labels: unit -> unit
  23 val transl_label_init: lambda -> lambda
  24 val transl_store_label_init:
  25     Ident.t -> int -> ('a -> lambda) -> 'a -> int * lambda
  26
  27 val method_ids: IdentSet.t ref (* reset when starting a new wrapper *)
  28
  29 val oo_wrap: Env.t -> bool -> ('a -> lambda) -> 'a -> lambda
  30 val oo_add_class: Ident.t -> Env.t * bool