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	abate	374	module U = Encodings.Utf8
2	abate	1107
3	abate	1108	module Id = Pool.Weak(U)
4			type id = Id.t
5	abate	1107	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	abate	653	module IdSet = SortedList.Make(Id)
10	abate	227	module IdMap = IdSet.Map
11	abate	421	module Env = Map.Make(Id)
12	abate	653	type 'a id_map = 'a IdMap.map
13			type fv = IdSet.t
14	abate	227
15	abate	233
16
17	abate	691	module Label = Ns.QName
18	abate	542
19			module LabelPool = Pool.Make(Label)
20	abate	653	module LabelSet = SortedList.Make(LabelPool)
21	abate	233	module LabelMap = LabelSet.Map
22
23			type label = LabelPool.t
24	abate	653	type 'a label_map = 'a LabelMap.map