Parent Directory
| 
Revision Log
[r2003-05-20 13:27:25 by cvscast] Unicode support Original author: cvscast Date: 2003-05-20 13:27:27+00:00
| 1 | abate | 374 | module U = Encodings.Utf8 |
| 2 | module Id = Pool.Make(U) | ||
| 3 | abate | 227 | module IdSet = SortedList.Make(SortedList.Lift(Id)) |
| 4 | module IdMap = IdSet.Map | ||
| 5 | type id = Id.t | ||
| 6 | type 'a id_map = (unit,'a) IdMap.map | ||
| 7 | type fv = unit IdSet.t | ||
| 8 | |||
| 9 | let ident = Id.mk | ||
| 10 | abate | 233 | |
| 11 | |||
| 12 | abate | 374 | module LabelPool = Pool.Make(U) |
| 13 | abate | 233 | module LabelSet = SortedList.Make(SortedList.Lift(LabelPool)) |
| 14 | module LabelMap = LabelSet.Map | ||
| 15 | |||
| 16 | type label = LabelPool.t | ||
| 17 | type 'a label_map = (unit,'a) LabelMap.map |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |