(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-04-04 18:41:03 CEST by Kim Nguyen>
-*)
-
type path = single_path list
+ (* the step are given in reverse with the last step of the query
+ being the first of the step list *)
and single_path = Absolute of step list | Relative of step list
and step = axis * test * expr list
and axis = Self | Attribute | Child