sig
  val imposes_subtree :
    Path_struct.rooted_path_sequence -> Path_struct.rooted_path_sequence
  type action =
      GetSubtree
    | PreserveNode
    | SkipNode
    | KeepMovingPreserveNode of Path_struct.path_fragment_sequence
    | KeepMovingSkipNode of Path_struct.path_fragment_sequence
  val inside_document :
    Streaming_types.resolved_sax_event ->
    Path_struct.rooted_path_sequence ->
    string -> Path_struct.path_fragment_sequence
  val inside_variable :
    Streaming_types.resolved_sax_event ->
    Path_struct.rooted_path_sequence ->
    Xquery_common_ast.cvname -> Path_struct.path_fragment_sequence
  val one_step :
    Streaming_types.resolved_sax_event ->
    Path_struct.path_fragment_sequence -> Path_structutil.action
  val one_step_attribute :
    Path_struct.path_fragment_sequence ->
    Streaming_types.resolved_sax_xml_attribute -> bool
  val print_path_sequence :
    Format.formatter -> Path_struct.rooted_path_sequence -> unit
end