* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
(*CSC codice cut & paste da cicPp e xmlcommand *)
exception NotImplemented;;
| `Record field_names ->
Xml.xml_nempty "class" [None,"value","record"]
(List.fold_right
- (fun name res ->
- [< Xml.xml_empty "field" [None,"name",name]; res >]
+ (fun (name,coercion) res ->
+ [< Xml.xml_empty "field"
+ [None,"name",if coercion then name ^ " coercion" else name];
+ res >]
) field_names [<>])
| `Projection -> Xml.xml_empty "class" [None,"value","projection"]
in