sig
  type path = (Xquery_common_ast.axis * Xquery_core_ast.cnode_test) list
  type rootid =
      InputDocument of string
    | InputVariable of Xquery_common_ast.cvname
  type subtree = Subtree | NoSubtree
  type path_fragment = Path_struct.path * Path_struct.subtree
  type path_fragment_sequence = Path_struct.path_fragment list
  type rooted_path = Path_struct.rootid * Path_struct.path_fragment
  type rooted_path_sequence = Path_struct.rooted_path list
end