--- /dev/null
+module type S = sig
+ type result_set
+ val top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
+ val bottom_up_run : Ata.t -> Tree.t -> Compile.text_query * string -> result_set
+end
+
+module Make (U : ResJIT.S) : S with type result_set = U.NS.t