package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tree
type inbox_context
val hash_level_tree : tree -> Hash.t
type history
val history_at_genesis : bound:int64 -> history
val take_snapshot : t -> history_proof
type inclusion_proof
val number_of_proof_steps : inclusion_proof -> int
val produce_inclusion_proof : history -> history_proof -> history_proof -> inclusion_proof option
val verify_inclusion_proof : inclusion_proof -> history_proof -> history_proof -> bool
type proof
val to_serialized_proof : proof -> serialized_proof
val of_serialized_proof : serialized_proof -> proof option