Octez_smart_rollup_node.Refutation_gameSourceThis module implements the refutation game logic of the rollup node.
val play_opening_move :
[< `Read | `Write Read ] Node_context.t ->
Tezos_crypto.Signature.public_key_hash ->
Octez_smart_rollup.Game.conflict ->
(unit, Tezos_base.TzPervasives.tztrace) result Lwt.tplay_opening_move node_ctxt self conflict injects the opening refutation game move for conflict.
val play :
Node_context.rw ->
self:Tezos_crypto.Signature.public_key_hash ->
Octez_smart_rollup.Game.t ->
Tezos_crypto.Signature.public_key_hash ->
(unit, Tezos_base.TzPervasives.tztrace) result Lwt.tplay head_block plugin node_ctxt ~self game opponent injects the next move in the refutation game played by self and opponent.