Module Storage.SeedSource

Storage from this submodule must only be accessed through the module `Seed`.

Sourcetype unrevealed_nonce = {
  1. nonce_hash : Nonce_hash.t;
  2. delegate : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
}
Sourcetype nonce_status =
  1. | Unrevealed of unrevealed_nonce
  2. | Revealed of Seed_repr.nonce