(* 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 *)
(* provided. *)
(* 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 *)
(* provided. *)