- and expression = Path of path
- | Function of string*expression list
- | Int of int
- | String of string
- | True | False
- type t = path
- val print : Format.formatter -> path -> unit
- val print_step : Format.formatter -> step -> unit
- val print_axis : Format.formatter -> axis -> unit
- val print_test : Format.formatter -> test -> unit
- val print_predicate : Format.formatter -> predicate -> unit
- val print_expression : Format.formatter -> expression -> unit
- end
+ and expression = Path of path
+ | Function of string*expression list
+ | Int of int
+ | String of string
+ | True | False
+ type t = path
+ val print : Format.formatter -> path -> unit
+ val print_step : Format.formatter -> step -> unit
+ val print_axis : Format.formatter -> axis -> unit
+ val print_test : Format.formatter -> test -> unit
+ val print_predicate : Format.formatter -> predicate -> unit
+ val print_expression : Format.formatter -> expression -> unit
+end