package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Hash : 
  Tezos_protocol_environment_alpha.S.HASH
    with type t =
           Tezos_protocol_environment_alpha.Smart_rollup.Commitment_hash.t

type t = {

compressed_state : State_hash.t;
inbox_level : Raw_level.t;
predecessor : Hash.t;
number_of_ticks : Number_of_ticks.t;

}

val encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

val pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

val hash_uncarbonated : t -> Hash.t

val hash : 
  context ->
  t ->
  (context * Hash.t) Tezos_protocol_environment_alpha.Error_monad.tzresult

val genesis_commitment : 
  origination_level:Raw_level.t ->
  genesis_state_hash:State_hash.t ->
  t

type genesis_info = {

level : Raw_level.t;
commitment_hash : Hash.t;

}

val genesis_info_encoding : 
  genesis_info Tezos_protocol_environment_alpha.Data_encoding.t

val get_commitment : 
  context ->
  rollup ->
  Hash.t ->
  (t * context) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val last_cemented_commitment_hash_with_level : 
  context ->
  rollup ->
  (Hash.t * Raw_level.t * context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val check_if_commitments_are_related : 
  context ->
  rollup ->
  descendant:Hash.t ->
  ancestor:Hash.t ->
  (bool * context) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t