module Code_util_tj: sig .. end
val get_top_item_from_stack : (Physical_value.item Physical_value.sequence * int * int * int)
Dynamic_stack.dynamic_stack -> Dm.node
val get_top_pre_from_stack : (Physical_value.item Physical_value.sequence * int * int * int)
Dynamic_stack.dynamic_stack -> int
val get_top_post_from_stack : (Physical_value.item Physical_value.sequence * int * int * int)
Dynamic_stack.dynamic_stack -> int
val check_available_indices : Code_selection_context.code_selection_context ->
Xquery_algebra_ast.twig_pattern ->
Physical_name_index.name_index_handler array
val get_name_indices_array : Code_selection_context.code_selection_context ->
Xquery_algebra_ast.twig_pattern -> Physical_name_index.name_index array
val pre : Dm.node -> int
val post : Dm.node -> int
val print_stack_config : (Physical_value.item Physical_value.sequence * int * int * int)
Dynamic_stack.dynamic_stack array -> unit
val print_tuple : Physical_value.item Physical_value.sequence array -> unit
val build_restore_array : Xquery_algebra_ast.twig_pattern ->
Code_selection_context.code_selection_context ->
(Physical_value.item Physical_value.sequence -> unit) array
val restore_tuple : (Physical_value.item Physical_value.sequence -> unit) array ->
Physical_value.item Physical_value.sequence array ->
Physical_value.tuple_unit
val common_cursor_of_input_cursor : Physical_value.tuple_unit Cursor.cursor ->
(unit -> Physical_value.item Physical_value.sequence) ->
Physical_value.item Physical_value.sequence Cursor.cursor
val check_axis : Code_selection_context.code_selection_context ->
Dm.node ->
Xquery_common_ast.axis array ->
Xquery_algebra_ast.twig_pattern -> int -> bool
val show_solutions : Xquery_algebra_ast.twig_pattern ->
Xquery_common_ast.axis array ->
(Physical_value.item Physical_value.sequence * int * int * int)
Dynamic_stack.dynamic_stack array ->
int -> int -> Physical_value.item Physical_value.sequence array list
val get_index_window : Physical_value.item Physical_value.sequence Cursor.cursor -> int * int