--- types/types.mli	2007/07/10 17:11:29	159
+++ types/types.mli	2007/07/10 17:11:34	160
@@ -126,10 +126,10 @@
 	   
   val normal: descr -> normal
 
-(*
-  val normal': descr -> label -> (descr * descr) list * descr option
-  val first_label: descr -> [ `Empty | `Any | `Label of label ]
+  val normal': t -> label -> (descr * t) list * t
+  val first_label: t -> [ `Success|`Fail|`NoField|`SomeField|`Label of label ]
 
+(*
   val project : descr -> label -> descr
     (* Raise Not_found if label is not necessarily present *)
 *)