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

Diff of /types/patterns.mli

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

revision 149 by abate, Tue Jul 10 17:10:34 2007 UTC revision 165 by abate, Tue Jul 10 17:11:58 2007 UTC
# Line 60  Line 60 
60    and record =    and record =
61        [ `Label of Types.label * record dispatch * record option        [ `Label of Types.label * record dispatch * record option
62        | `Result of result        | `Result of result
63          | `Result_other of result * result
64        | `Absent ]        | `Absent ]
65    
66    and 'a dispatch =    and 'a dispatch =
Legend:
Removed from v.149  
changed lines
  Added in v.165
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5