| 14 |
type t = Ns.qname |
type t = Ns.qname |
| 15 |
let equal (ns1,l1) (ns2,l2) = (Ns.equal ns1 ns2) && (U.equal l1 l2) |
let equal (ns1,l1) (ns2,l2) = (Ns.equal ns1 ns2) && (U.equal l1 l2) |
| 16 |
let hash (ns,l) = Ns.hash ns + 17 * U.hash l |
let hash (ns,l) = Ns.hash ns + 17 * U.hash l |
| 17 |
let print = Ns.print_qname |
let to_string x = Ns.InternalPrinter.attr x |
| 18 |
let to_string x = |
let print ppf x = Format.fprintf ppf "%s" (to_string x) |
|
let b = Buffer.create 32 in |
|
|
let ppf = Format.formatter_of_buffer b in |
|
|
print ppf x; |
|
|
Buffer.contents b |
|
| 19 |
end |
end |
| 20 |
|
|
| 21 |
module LabelPool = Pool.Make(Label) |
module LabelPool = Pool.Make(Label) |
Parent Directory
| 
Revision Log
| 
Patch