package tezos-protocol-012-Psithaca

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_012_Psithaca.Data_encoding.t

type unrevealed = {

nonce_hash : Nonce_hash.t;
delegate : public_key_hash;

}

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

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

type status =

| Unrevealed of unrevealed
| Revealed of nonce

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

val of_bytes : 
  bytes ->
  nonce Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult

val hash : nonce -> Nonce_hash.t

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