(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-04 18:40:39 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-22 16:29:52 CEST by Kim Nguyen>
*)
(** The different kind of XML nodes and utility functions *)
k1 == Node || k2 == Node || k1 == k2
end
-
(** Signatures for trees *)
+exception Parse_error of string
+
module type S =
sig
type node