ident.ml 212 Bytes
Newer Older
1
2
3
4
5
6
7
8
module Id = Pool.Make(SortedList.String)
module IdSet = SortedList.Make(SortedList.Lift(Id))
module IdMap = IdSet.Map
type id = Id.t
type 'a id_map = (unit,'a) IdMap.map
type fv = unit IdSet.t

let ident = Id.mk