Parent Directory
| 
Revision Log
| 
Patch
| revision 31 by abate, Tue Jul 10 16:59:30 2007 UTC | revision 58 by abate, Tue Jul 10 17:01:56 2007 UTC | |
|---|---|---|
| # | Line 46 | Line 46 |
| 46 | let seqseq = Types.descr (star_node any_node) | let seqseq = Types.descr (star_node any_node) |
| 47 | ||
| 48 | let star t = Types.descr (star_node (Types.cons t)) | let star t = Types.descr (star_node (Types.cons t)) |
| 49 | let string = star (Types.Char.any) | |
| 50 | ||
| 51 | let approx t = | let approx t = |
| 52 | let memo = H.create 13 in | let memo = H.create 13 in |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |