X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.mli;h=fd36d23813005b6ba385b17b453dcc4f2d9b821c;hb=refs%2Fheads%2Fl3jit-refactor;hp=0ce04efaa3a7327cf69e42de49f83ac3b579ace2;hpb=e5684525c6814acc412b582b346d5ee6cb5b6597;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.mli b/src/runtime.mli
index 0ce04ef..fd36d23 100644
--- a/src/runtime.mli
+++ b/src/runtime.mli
@@ -6,3 +6,12 @@ module type S = sig
 end
 
 module Make (U : ResJIT.S) : S with type result_set = U.NS.t
+
+type 'a result_ops = {
+  empty : 'a;
+  subtree_tags : Tree.t -> Tree.node -> Tag.t -> 'a;
+  subtree_elements : Tree.t -> Tree.node -> 'a;
+  exec : 'a array -> 'a array -> 'a array -> Tree.node -> ResJIT.code -> unit;
+}
+
+val top_down_run : 'a result_ops -> Ata.t -> Tree.t -> Tree.node -> 'a