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

3
module Id = Ns.QName
4
type id = Id.t
5
6
7
8
let ident x = x
let value x = x
let to_string = Id.to_string
let print = Id.print
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
19
20
(* TODO: put following decl somewhere else *)
module Label = Ns.Label
module LabelSet = SortedList.Make(Ns.Label)
21
22
module LabelMap = LabelSet.Map

23
type label = Ns.Label.t
24
type 'a label_map = 'a LabelMap.map