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