From be5f985ec7ba25006e2cee5505e5f3e13af44c94 Mon Sep 17 00:00:00 2001 From: Julien Tesson Date: Wed, 24 Oct 2018 17:06:16 +0200 Subject: [PATCH] P2p: exporting `Point.Id.equal` --- src/lib_base/p2p_point.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib_base/p2p_point.mli b/src/lib_base/p2p_point.mli index 01976f98b..2b186f717 100644 --- a/src/lib_base/p2p_point.mli +++ b/src/lib_base/p2p_point.mli @@ -2,6 +2,7 @@ (* *) (* Open Source License *) (* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) +(* Copyright (c) 2019 Nomadic Labs, *) (* *) (* Permission is hereby granted, free of charge, to any person obtaining a *) (* copy of this software and associated documentation files (the "Software"),*) @@ -27,6 +28,7 @@ module Id : sig type t = P2p_addr.t * P2p_addr.port val compare : t -> t -> int + val equal : t -> t -> bool val pp : Format.formatter -> t -> unit val pp_opt : Format.formatter -> t option -> unit