(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-14 15:39:48 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-04 16:24:33 CET by Kim Nguyen>
*)
type path = single_path list
val print_test : Format.formatter -> test -> unit
val print_expr : Format.formatter -> expr -> unit
+val invert_axis : axis -> axis