package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type level_proof = {
  1. hash : Inbox_merkelized_payload_hashes.Hash.t;
  2. level : Raw_level.t;
}
type history_proof = (level_proof, Hash.t) Skip_list.cell
type t = {
  1. level : Raw_level.t;
  2. old_levels_messages : history_proof;
}
val equal : t -> t -> bool
val inbox_level : t -> Raw_level.t
val old_levels_messages : t -> history_proof
val equal_history_proof : history_proof -> history_proof -> bool
val hash : t -> Hash.t
val current_witness : t -> Inbox_merkelized_payload_hashes.Hash.t
type serialized_proof
val take_snapshot : t -> history_proof
type proof
val to_serialized_proof : proof -> serialized_proof
val of_serialized_proof : serialized_proof -> proof option
val finalize_inbox_level_no_history : t -> Inbox_merkelized_payload_hashes.t -> t
val init_witness_no_history : Inbox_merkelized_payload_hashes.t
module Internal_for_tests : sig ... end
OCaml

Innovation. Community. Security.