package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Tree : Tezos_protocol_environment_013_PtJakart.Context.TREE with type key = string list and type value = bytes
type tree = Tree.tree
type proof
val proof_start_state : proof -> Alpha_context.Sc_rollup.State_hash.t
val verify_proof : proof -> (tree -> (tree * 'a) Tezos_protocol_environment_013_PtJakart.Lwt.t) -> (tree * 'a, [ `Proof_mismatch of string | `Stream_too_long of string | `Stream_too_short of string ]) Tezos_protocol_environment_013_PtJakart.Pervasives.result Tezos_protocol_environment_013_PtJakart.Lwt.t