package octez-protocol-017-PtNairob-libs

  1. Overview
  2. Docs
package octez-protocol-017-PtNairob-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sc_rollup_helpers.Make_in_memory_contextSource

Parameters

module Context : sig ... end

Signature

Sourcemodule Tree : sig ... end
Sourcetype tree = Tree.tree
Sourcetype proof = Context.Proof.tree Context.Proof.t
Sourceval hash_tree : 'a -> 'b
Sourceval verify_proof : Context.Proof.tree Context.Proof.t -> (Context.tree -> (Context.tree * 'a) Lwt.t) -> (Context.tree * 'a) option Lwt.t
Sourceval produce_proof : Context.t -> Context.tree -> (Context.tree -> (Context.tree * 'a) Lwt.t) -> (Context.Proof.tree Context.Proof.t * 'a) option Lwt.t
Sourceval kinded_hash_to_state_hash : [< `Node of Tezos_protocol_environment_017_PtNairob.Context_hash.t | `Value of Tezos_protocol_environment_017_PtNairob.Context_hash.t ] -> Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Sc_rollup.State_hash.t
Sourceval proof_before : 'a Context.Proof.t -> Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Sc_rollup.State_hash.t
Sourceval proof_after : 'a Context.Proof.t -> Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Sc_rollup.State_hash.t
Sourceval proof_encoding : Tezos_context_sigs__Context.Proof_types.tree Tezos_context_sigs__Context.Proof_types.t Tezos_base.TzPervasives.Data_encoding.t