package octez-protocol-016-PtMumbai-libs
Octez protocol 016-PtMumbai libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-protocol-016-PtMumbai-libs.smart-rollup/Tezos_smart_rollup_016_PtMumbai/Game_helpers/index.html
Module Tezos_smart_rollup_016_PtMumbai.Game_helpersSource
Source
val default_new_dissection :
default_number_of_sections:int ->
start_chunk:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Game.dissection_chunk ->
our_stop_chunk:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Game.dissection_chunk ->
Tezos_protocol_016_PtMumbai.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.
Source
val make_dissection :
state_of_tick:
(?start_state:'a ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Tick.t ->
('a option, 'trace) result Lwt.t) ->
state_hash_of_eval_state:
('a ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t) ->
?start_state:'a ->
start_chunk:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t ->
our_stop_chunk:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Tick.t list ->
(Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Dissection_chunk.t
list,
'trace)
result
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.