Parent Directory
| 
Revision Log
[r2003-05-25 10:34:50 by cvscast] review Builtin Original author: cvscast Date: 2003-05-25 10:34:50+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 | abate | 421 | module Env = Map.Make(Id) |
| 6 | abate | 227 | type id = Id.t |
| 7 | type 'a id_map = (unit,'a) IdMap.map | ||
| 8 | type fv = unit IdSet.t | ||
| 9 | |||
| 10 | let ident = Id.mk | ||
| 11 | abate | 233 | |
| 12 | |||
| 13 | abate | 374 | module LabelPool = Pool.Make(U) |
| 14 | abate | 233 | module LabelSet = SortedList.Make(SortedList.Lift(LabelPool)) |
| 15 | module LabelMap = LabelSet.Map | ||
| 16 | |||
| 17 | type label = LabelPool.t | ||
| 18 | type 'a label_map = (unit,'a) LabelMap.map |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |