/[svn]/types/ident.ml
ViewVC logotype

Contents of /types/ident.ml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 227 - (hide annotations)
Tue Jul 10 17:16:41 2007 UTC (5 years, 11 months ago) by abate
File size: 212 byte(s) 
[r2003-03-08 15:51:30 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 15:51:30+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
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5