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

let ident = Id.mk
11
12


13
module LabelPool = Pool.Make(U)
14
15
16
17
18
module LabelSet = SortedList.Make(SortedList.Lift(LabelPool))
module LabelMap = LabelSet.Map

type label = LabelPool.t
type 'a label_map = (unit,'a) LabelMap.map