Module Mavkit_smart_rollup_node.Refutation_game_event

val section : string list
module Simple : sig ... end
val conflict_detected : Mavkit_smart_rollup.Game.conflict -> unit Lwt.t
val 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.t
val timeout_detected : Mavryk_crypto.Signature.Public_key_hash.t -> unit Lwt.t
val 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.t
module Player : sig ... end
module Coordinator : sig ... end