package tezos-protocol-002-PsYLVpVv

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error +=
  1. | Too_late_revelation
  2. | Too_early_revelation
  3. | Previously_revealed_nonce
  4. | Unexpected_nonce
type nonce = t
val encoding : nonce Data_encoding.t
type unrevealed = Storage.Seed.unrevealed_nonce = {
  1. nonce_hash : Nonce_hash.t;
  2. delegate : Tezos_crypto.Signature.public_key_hash;
  3. rewards : Tez_repr.t;
  4. fees : Tez_repr.t;
}
type status =
  1. | Unrevealed of unrevealed
  2. | Revealed of Seed_repr.nonce
val get : Raw_context.t -> Level_repr.t -> (status, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val record_hash : Raw_context.t -> unrevealed -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val reveal : Raw_context.t -> Level_repr.t -> nonce -> (Raw_context.t, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result Lwt.t
val of_bytes : Tezos_protocol_environment_structs.V0.M.MBytes.t -> (nonce, Tezos_protocol_environment_002_PsYLVpVv__Environment.Error_monad.error list) result
val hash : nonce -> Nonce_hash.t
val check_hash : nonce -> Nonce_hash.t -> bool