[r2005-04-04 13:23:04 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-04 13:23:04+00:00

types/sequence.ml

@@ -175,3 +175,18 @@ let seq_of_list l =
 let char_latin1 = Types.char (Chars.mk_classes [ (0,255) ])
 let string_latin1 = star char_latin1
 
+
+let any_xtransformable =
+  Types.descr
+    (recurs 
+       (fun n -> 
+	  let elt = 
+	    Types.xml 
+	      Types.any_node
+	      (Types.cons (Types.times Types.any_node n))
+	  in
+	  let non_elt = Types.neg (Types.xml Types.any_node Types.any_node)
+	  in
+	  let t = Types.cons (Types.cup elt non_elt) in
+	  Types.cup nil_type (Types.times t n)))
+

types/sequence.mli

@@ -6,6 +6,7 @@ val any: Types.t
 val seqseq: Types.t
 val string: Types.t
 val string_latin1: Types.t
+val any_xtransformable: Types.t
 
 val concat: Types.t -> Types.t -> Types.t
 val flatten: Types.t -> Types.t