sig
  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
end