/[svn]/types/types.mli
ViewVC logotype

Diff of /types/types.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 74 by abate, Tue Jul 10 17:03:32 2007 UTC revision 75 by abate, Tue Jul 10 17:03:57 2007 UTC
# Line 97  Line 97 
97    val any : descr    val any : descr
98    
99    (* List of maps label -> (optional, content) *)    (* List of maps label -> (optional, content) *)
100    type t = (label, (bool * descr)) SortedMap.t list    type t (* = (label, (bool * descr)) SortedMap.t list *)
101    val get: descr -> t    val get: descr -> t
102      val descr: t -> descr
103    val is_empty: t -> bool    val is_empty: t -> bool
104    val restrict_label_present: t -> label -> t    val restrict_label_present: t -> label -> t
105    val restrict_field: t -> label -> descr -> t    val restrict_field: t -> label -> descr -> t
# Line 109  Line 110 
110        [ `Success        [ `Success
111        | `Fail        | `Fail
112        | `Label of label * (descr * normal) list * normal ]        | `Label of label * (descr * normal) list * normal ]
113    
114    val normal: descr -> normal    val normal: descr -> normal
115    
116      val normal': descr -> label -> (descr * descr) list * descr option
117      val first_label: descr -> [ `Empty | `Any | `Label of label ]
118    
119    val project : descr -> label -> descr    val project : descr -> label -> descr
120      (* Raise Not_found if label is not necessarily present *)      (* Raise Not_found if label is not necessarily present *)
121  end  end
Legend:
Removed from v.74  
changed lines
  Added in v.75
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5