module Path_struct:sig..end
typepath =(Xquery_common_ast.axis * Xquery_core_ast.cnode_test) list
type rootid = 
| | 
InputDocument of  | 
| | 
InputVariable of  | 
type subtree = 
| | 
Subtree | 
| | 
NoSubtree | 
typepath_fragment =path * subtree
typepath_fragment_sequence =path_fragment list
typerooted_path =rootid * path_fragment
typerooted_path_sequence =rooted_path list