src/runtime.mli

   1 module type S = sig
   2   type result_set
   3   val top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
   4   val bottom_up_run : Ata.t -> Tree.t -> Compile.text_query * string -> result_set
   5   val naive_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
   6   val twopass_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
   7 end
   8
   9 module Make (U : ResJIT.S) : S with type result_set = U.NS.t