Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package tezos-smart-rollup-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val default_new_dissection :
default_number_of_sections:int ->
start_chunk:
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Game.dissection_chunk ->
our_stop_chunk:
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Game.dissection_chunk ->
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Tick.t listdefault_new_dissection ~default_number_of_sections ~start_chunk
~our_stop_chunk computes a list of intermediary ticks that can later be turned into new dissection from between start_chunk and our_stop_chunk with make_dissection. The algorithm satisfies the default predicate on dissection exported by the protocol.
val make_dissection :
state_hash_from_tick:
(Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Tick.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.State_hash.t option
Tezos_base.TzPervasives.tzresult
Lwt.t) ->
start_chunk:
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t ->
our_stop_chunk:
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t ->
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Tick.t
Tezos_base.TzPervasives.trace ->
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t list
Tezos_base.TzPervasives.tzresult
Lwt.tmake_dissection ~state_hash_from_tick ~start_chunk
~our_stop_chunk intermediary_ticks computes a new dissection from a list of intermediary ticks between start_chunk and our_stop_chunk.
This function assumes intermediary_ticks encodes a valid dissection from start_chunk to our_stop_chunk, and recomputes the state hash associated to each ticks.
module Wasm : sig ... end