| 15 |
let print ppf id = |
let print ppf id = |
| 16 |
Format.fprintf ppf "%s" (to_string id) |
Format.fprintf ppf "%s" (to_string id) |
| 17 |
|
|
| 18 |
module Label = struct |
module Label = Ns.QName |
|
type t = Ns.qname |
|
|
let equal (ns1,l1) (ns2,l2) = (Ns.equal ns1 ns2) && (U.equal l1 l2) |
|
|
let hash (ns,l) = Ns.hash ns + 17 * U.hash l |
|
|
let to_string x = Ns.InternalPrinter.attr x |
|
|
let print ppf x = Format.fprintf ppf "%s" (to_string x) |
|
|
end |
|
| 19 |
|
|
| 20 |
module LabelPool = Pool.Make(Label) |
module LabelPool = Pool.Make(Label) |
| 21 |
module LabelSet = SortedList.Make(LabelPool) |
module LabelSet = SortedList.Make(LabelPool) |
Parent Directory
| 
Revision Log
| 
Patch