viewcvs.cgi/types/ident.ml

module U = Encodings.Utf8

module Id = Pool.Weak(U)
type id = Id.t
let ident = Id.mk
let to_string id = U.to_string (Id.value id)
let print ppf id = Format.fprintf ppf "%s" (to_string id)

module IdSet = SortedList.Make(Id)
module IdMap = IdSet.Map
module Env = Map.Make(Id)
type 'a id_map = 'a IdMap.map
type fv = IdSet.t


module Label = Ns.QName

module LabelPool = Pool.Make(Label)
module LabelSet = SortedList.Make(LabelPool)
module LabelMap = LabelSet.Map

type label = LabelPool.t
type 'a label_map = 'a LabelMap.map
1	module U = Encodings.Utf8
2
3	module Id = Pool.Weak(U)
4	type id = Id.t
5	let ident = Id.mk
6	let to_string id = U.to_string (Id.value id)
7	let print ppf id = Format.fprintf ppf "%s" (to_string id)
8
9	module IdSet = SortedList.Make(Id)
10	module IdMap = IdSet.Map
11	module Env = Map.Make(Id)
12	type 'a id_map = 'a IdMap.map
13	type fv = IdSet.t
14
15
16
17	module Label = Ns.QName
18
19	module LabelPool = Pool.Make(Label)
20	module LabelSet = SortedList.Make(LabelPool)
21	module LabelMap = LabelSet.Map
22
23	type label = LabelPool.t
24	type 'a label_map = 'a LabelMap.map