diff options
Diffstat (limited to 'bytecomp/translobj.mli')
| -rw-r--r-- | bytecomp/translobj.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bytecomp/translobj.mli b/bytecomp/translobj.mli index f0a92b3324..d6e432da5c 100644 --- a/bytecomp/translobj.mli +++ b/bytecomp/translobj.mli @@ -17,10 +17,12 @@ open Lambda val oo_prim: string -> lambda val share: structured_constant -> lambda -val meth: string -> Ident.t +val meth: lambda -> string -> lambda * lambda list val reset_labels: unit -> unit val transl_label_init: lambda -> lambda +val transl_store_label_init: + Ident.t -> int -> ('a -> lambda) -> 'a -> int * lambda val oo_wrap: Env.t -> bool -> ('a -> lambda) -> 'a -> lambda val oo_add_class: Ident.t -> Env.t * bool |