From a3a33c48143adfdcc35cde37e86ec5417a891adf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Thu, 19 Apr 2018 16:50:31 +0200 Subject: [PATCH] Shell: export `Signature.Public_key_hash.zero` --- src/lib_crypto/s.ml | 2 ++ src/lib_crypto/signature.ml | 2 ++ src/lib_protocol_environment/sigs/v1/s.mli | 2 ++ src/lib_protocol_environment/tezos_protocol_environment.ml | 2 ++ 4 files changed, 8 insertions(+) diff --git a/src/lib_crypto/s.ml b/src/lib_crypto/s.ml index 20982a5e2..df4545a0a 100644 --- a/src/lib_crypto/s.ml +++ b/src/lib_crypto/s.ml @@ -164,6 +164,8 @@ module type SIGNATURE = sig include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig diff --git a/src/lib_crypto/signature.ml b/src/lib_crypto/signature.ml index e7130ff8c..fc9c580fc 100644 --- a/src/lib_crypto/signature.ml +++ b/src/lib_crypto/signature.ml @@ -59,6 +59,8 @@ module Public_key_hash = struct let size = 1 + Ed25519.size + let zero = Ed25519 Ed25519.Public_key_hash.zero + include Helpers.MakeRaw(struct type nonrec t = t let name = name diff --git a/src/lib_protocol_environment/sigs/v1/s.mli b/src/lib_protocol_environment/sigs/v1/s.mli index 793ec4f30..9860d4743 100644 --- a/src/lib_protocol_environment/sigs/v1/s.mli +++ b/src/lib_protocol_environment/sigs/v1/s.mli @@ -217,6 +217,8 @@ module type SIGNATURE = sig include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig diff --git a/src/lib_protocol_environment/tezos_protocol_environment.ml b/src/lib_protocol_environment/tezos_protocol_environment.ml index b5ab773eb..cc0ca2783 100644 --- a/src/lib_protocol_environment/tezos_protocol_environment.ml +++ b/src/lib_protocol_environment/tezos_protocol_environment.ml @@ -285,6 +285,8 @@ module Make (Context : CONTEXT) = struct include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig