ident.ml 554 Bytes
Newer Older
1
module U = Encodings.Utf8
2

3
module Id = Pool.Weak(Ns.QName)
4
type id = Id.t
5
let ident = Id.mk
6
7
8
let value = Id.value
let to_string id = Ns.QName.to_string (Id.value id)
let print ppf id = Ns.QName.print ppf (Id.value id)
9

10
module IdSet = SortedList.Make(Id)
11
module IdMap = IdSet.Map
12
module Env = Map.Make(Id)
13
14
type 'a id_map = 'a IdMap.map
type fv = IdSet.t
15

16

17

18
module Label = Ns.QName
19
20

module LabelPool = Pool.Make(Label)
21
module LabelSet = SortedList.Make(LabelPool)
22
23
24
module LabelMap = LabelSet.Map

type label = LabelPool.t
25
type 'a label_map = 'a LabelMap.map