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 | module U = Encodings.Utf8 |
| 2 | module Id = Pool.Make(U) |
| 3 | 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 | |
| 11 | |
| 12 | module LabelPool = Pool.Make(U) |
| 13 | 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 |