Octez_smart_rollup_node.Refutation_game_eventmodule Simple : sig ... endval conflict_detected : Octez_smart_rollup.Game.conflict -> unit Lwt.tval potential_conflict_detected :
our_commitment_hash:Octez_smart_rollup.Commitment.Hash.t ->
their_commitment_hash:Octez_smart_rollup.Commitment.Hash.t ->
other:Tezos_crypto.Signature.Public_key_hash.t ->
level:int32 ->
unit Lwt.tval timeout_detected : Tezos_crypto.Signature.Public_key_hash.t -> unit Lwt.tval computed_dissection :
opponent:Tezos_crypto.Signature.Public_key_hash.t ->
start_tick:Z.t ->
end_tick:Z.t ->
Octez_smart_rollup.Game.dissection_chunk list ->
unit Lwt.tval no_committed_context :
block_hash:Tezos_base.TzPervasives.Block_hash.t ->
level:int32 ->
unit Lwt.tval replaying_blocks :
count:int ->
from_level:int32 ->
block_hash:Tezos_base.TzPervasives.Block_hash.t ->
unit Lwt.tval traversing_dissection :
opponent:Tezos_crypto.Signature.Public_key_hash.t ->
dissection_length:int ->
start_tick:Z.t ->
end_tick:Z.t ->
unit Lwt.tval dissection_agree :
tick:Z.t ->
state_hash:Octez_smart_rollup.State_hash.t ->
unit Lwt.tval dissection_disagree :
tick:Z.t ->
their_hash:Octez_smart_rollup.State_hash.t ->
our_hash:Octez_smart_rollup.State_hash.t ->
unit Lwt.tval computing_dissection :
opponent:Tezos_crypto.Signature.Public_key_hash.t ->
start_tick:Z.t ->
end_tick:Z.t ->
unit Lwt.tval playing_next_move :
opponent:Tezos_crypto.Signature.Public_key_hash.t ->
Octez_smart_rollup.Game.t ->
unit Lwt.tmodule Player : sig ... endmodule Coordinator : sig ... end