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 | 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 | |
| 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 |