58 |
|
|
59 |
let dummy_protocol = as_protocol dummy_protocol_impl |
let dummy_protocol = as_protocol dummy_protocol_impl |
60 |
|
|
61 |
module Hnum = Weak2.Make(struct |
module Hnum = Weak.Make(struct |
62 |
type t = protocol |
type t = protocol |
63 |
let hash protocol = Hashtbl.hash (protocol_num protocol) |
let hash protocol = Hashtbl.hash (protocol_num protocol) |
64 |
|
|
65 |
let equal x y = (protocol_num x) = (protocol_num y) |
let equal x y = (protocol_num x) = (protocol_num y) |
66 |
end) |
end) |
67 |
|
|
68 |
module Hname = Weak2.Make(struct |
module Hname = Weak.Make(struct |
69 |
type t = protocol |
type t = protocol |
70 |
let hash protocol = Hashtbl.hash (protocol_name protocol) |
let hash protocol = Hashtbl.hash (protocol_name protocol) |
71 |
|
|