package tezos-protocol-006-PsCARTHA

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

type nonce = t

val encoding : nonce Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t

type unrevealed = {

nonce_hash : Nonce_hash.t;
delegate : public_key_hash;
rewards : Tez.t;
fees : Tez.t;

}

val record_hash : 
  context ->
  unrevealed ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val reveal : 
  context ->
  Level.t ->
  nonce ->
  context Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

type status =

| Unrevealed of unrevealed
| Revealed of nonce

val get : 
  context ->
  Level.t ->
  status Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val of_bytes : 
  Tezos_protocol_environment_006_PsCARTHA.MBytes.t ->
  nonce Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult

val hash : nonce -> Nonce_hash.t

val check_hash : nonce -> Nonce_hash.t -> bool