From de61c7d77e49286622c4aebd56f2e87b0df93903 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sat, 5 Apr 2014 19:51:04 -0400
Subject: Had to split Nativelambda in two files because of Retroknowledge
 dependencies.

---
 kernel/retroknowledge.mli | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)

(limited to 'kernel/retroknowledge.mli')

diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli
index 528f6ad16..097d207e4 100644
--- a/kernel/retroknowledge.mli
+++ b/kernel/retroknowledge.mli
@@ -117,6 +117,23 @@ val get_vm_before_match_info : retroknowledge -> entry -> Cbytecodes.bytecodes
 val get_vm_decompile_constant_info : retroknowledge -> entry -> int -> Term.constr
 
 
+val get_native_compiling_info  : retroknowledge -> entry -> Cbytecodes.comp_env ->
+                             constr array ->
+                             int -> Cbytecodes.bytecodes-> Cbytecodes.bytecodes
+
+val get_native_constant_static_info : retroknowledge -> entry ->
+                                   constr array -> Nativeinstr.lambda
+
+val get_native_constant_dynamic_info : retroknowledge -> entry ->
+                                Cbytecodes.comp_env ->
+                                Cbytecodes.block array ->
+                                int -> Cbytecodes.bytecodes -> Cbytecodes.bytecodes
+
+val get_native_before_match_info : retroknowledge -> entry -> Cbytecodes.bytecodes
+                                                       -> Cbytecodes.bytecodes
+
+val get_native_decompile_constant_info : retroknowledge -> entry -> int -> Term.constr
+
 (** the following functions are solely used in Pre_env and Environ to implement
    the functions  register and unregister (and mem) of Environ *)
 val add_field : retroknowledge -> field -> entry -> retroknowledge
@@ -147,6 +164,25 @@ val add_vm_before_match_info : retroknowledge -> entry ->
 val add_vm_decompile_constant_info : retroknowledge -> entry ->
                                     (int -> constr) -> retroknowledge
 
+val add_native_compiling_info : retroknowledge-> entry ->
+                            (bool -> Cbytecodes.comp_env -> constr array -> int ->
+                            Cbytecodes.bytecodes -> Cbytecodes.bytecodes) ->
+                            retroknowledge
+val add_native_constant_static_info : retroknowledge -> entry ->
+                                  (bool -> constr array ->
+                                      Nativeinstr.lambda) ->
+                                  retroknowledge
+val add_native_constant_dynamic_info : retroknowledge-> entry ->
+                                   (bool -> Cbytecodes.comp_env ->
+                                   Cbytecodes.block array -> int ->
+                                   Cbytecodes.bytecodes -> Cbytecodes.bytecodes) ->
+                                   retroknowledge
+val add_native_before_match_info : retroknowledge -> entry ->
+                              (bool->Cbytecodes.bytecodes->Cbytecodes.bytecodes) ->
+                              retroknowledge
+
+val add_native_decompile_constant_info : retroknowledge -> entry ->
+                                    (int -> constr) -> retroknowledge
 
 val clear_info : retroknowledge-> entry -> retroknowledge
 
-- 
cgit v1.2.3