package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
package tezos-protocol-014-PtKathma
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
module Message : sig ... end

See Sc_rollup_inbox_message_repr.

val empty : Address.t -> Raw_level.t -> t
val inbox_level : t -> Raw_level.t
val number_of_available_messages : t -> Tezos_protocol_environment_014_PtKathma.Z.t
val consume_n_messages : int32 -> t -> t option Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
module type MerkelizedOperations = sig ... end
include MerkelizedOperations with type tree = Tezos_protocol_environment_014_PtKathma.Context.tree
type message = tree
type messages = tree
type history
val history_at_genesis : bound:int64 -> history
type inclusion_proof
val number_of_proof_steps : inclusion_proof -> int
val produce_inclusion_proof : history -> t -> t -> inclusion_proof option
val verify_inclusion_proof : inclusion_proof -> t -> t -> bool
module type TREE = sig ... end
module Proof : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct