(* *)
(******************************************************************************)
+ (** raised for exception received by the getter (i.e. embedded in the source
+ * XML document). Arguments are values of "helm:exception" and
+ * "helm:exception_arg" attributes *)
+exception Getter_failure of string * string
+
+ (** generic parser failure *)
+exception Parser_failure of string
+
(* given the filename of an xml file of a cic object, it returns *)
(* its internal annotated representation. In the case of constants (whose *)
(* type is splitted from the body), a second xml file (for the body) must be *)