From 54a21fdb462b2cca1f76623e871e7b19d00837aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Fri, 29 Sep 2017 18:43:13 +0200 Subject: [PATCH] Shell: properly reexport `P2p_types.Peer_id`. --- src/node/net/p2p_types.mli | 16 ++-------------- 1 file changed, 2 insertions(+), 14 deletions(-) diff --git a/src/node/net/p2p_types.mli b/src/node/net/p2p_types.mli index 2a7a88ce3..aab206b0e 100644 --- a/src/node/net/p2p_types.mli +++ b/src/node/net/p2p_types.mli @@ -27,20 +27,8 @@ end (** Peer_id, i.e. persistent peer identifier *) -module Peer_id : sig - type t = Crypto_box.Public_key_hash.t - (** Type of a peer_id, a public key hash. *) - - val compare : t -> t -> int - val equal : t -> t -> bool - val pp : Format.formatter -> t -> unit - val pp_short : Format.formatter -> t -> unit - val encoding : t Data_encoding.t - val of_string_exn : string -> t - module Map : Map.S with type key = t - module Set : Set.S with type elt = t - module Table : Hashtbl.S with type key = t -end +module Peer_id : Hash.INTERNAL_HASH + with type t = Crypto_box.Public_key_hash.t type addr = Ipaddr.V6.t type port = int