balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

P2p: exporting Point.Id.equal

Browse Source
This commit is contained in:
Julien Tesson 2018-10-24 17:06:16 +02:00 committed by Grégoire Henry
parent f6f047ea15
commit be5f985ec7
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib_base/p2p_point.mli
View File

@ -2,6 +2,7 @@
(* *) (* *)
(* Open Source License *) (* Open Source License *)
(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com> *) (* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
(* Copyright (c) 2019 Nomadic Labs, <contact@nomadic-labs.com> *)
(* *) (* *)
(* Permission is hereby granted, free of charge, to any person obtaining a *) (* Permission is hereby granted, free of charge, to any person obtaining a *)
(* copy of this software and associated documentation files (the "Software"),*) (* 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 type t = P2p_addr.t * P2p_addr.port
val compare : t -> t -> int val compare : t -> t -> int
val equal : t -> t -> bool
val pp : Format.formatter -> t -> unit val pp : Format.formatter -> t -> unit
val pp_opt : Format.formatter -> t option -> unit val pp_opt : Format.formatter -> t option -> unit