Parent Directory
| 
Revision Log
[r2003-03-10 22:35:20 by cvscast] De nouveau rapides, les records Original author: cvscast Date: 2003-03-10 22:35:21+00:00
| 1 | abate | 227 | module Id = Pool.Make(SortedList.String) |
| 2 | module IdSet = SortedList.Make(SortedList.Lift(Id)) | ||
| 3 | module IdMap = IdSet.Map | ||
| 4 | type id = Id.t | ||
| 5 | type 'a id_map = (unit,'a) IdMap.map | ||
| 6 | type fv = unit IdSet.t | ||
| 7 | |||
| 8 | let ident = Id.mk | ||
| 9 | abate | 233 | |
| 10 | |||
| 11 | module LabelPool = Pool.Make(SortedList.String) | ||
| 12 | module LabelSet = SortedList.Make(SortedList.Lift(LabelPool)) | ||
| 13 | module LabelMap = LabelSet.Map | ||
| 14 | |||
| 15 | type label = LabelPool.t | ||
| 16 | type 'a label_map = (unit,'a) LabelMap.map |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |