projects
/
SXSI
/
xpathcomp.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Change path to XMLTree library
[SXSI/xpathcomp.git]
/
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
end
6
7
module Make (U : ResJIT.S) : S with type result_set = U.NS.t