Mavkit_smart_rollup_node.Refutation_game_eventmodule Simple : sig ... endval conflict_detected : Mavkit_smart_rollup.Game.conflict -> unit Lwt.tval potential_conflict_detected :
our_commitment_hash:Mavkit_smart_rollup.Commitment.Hash.t ->
their_commitment_hash:Mavkit_smart_rollup.Commitment.Hash.t ->
other:Mavryk_crypto.Signature.Public_key_hash.t ->
level:int32 ->
unit Lwt.tval timeout_detected : Mavryk_crypto.Signature.Public_key_hash.t -> unit Lwt.tval computed_dissection :
opponent:Mavryk_crypto.Signature.Public_key_hash.t ->
start_tick:Z.t ->
end_tick:Z.t ->
Mavkit_smart_rollup.Game.dissection_chunk list ->
unit Lwt.tmodule Player : sig ... endmodule Coordinator : sig ... end