Game (p.octez-l2-libs.19.0.doc.octez-l2-libs.smart-rollup.Octez_smart

Sourcemodule V1 : sig ... end

include Versioned_data.S with type t = V1.t

Sourcetype versioned

The type of versioned values, including the one that is currently used and the previous ones.

Sourceval versioned_encoding : versioned Tezos_base.TzPervasives.Data_encoding.t

Encoding for versioned values, corresponds to the one defined by the protocol.

Sourceval of_versioned : versioned -> V1.t

Conversion to the currently used representation. In practice this function must provide ways to translate values of older versions to the latest one.

Sourceval to_versioned : V1.t -> versioned

Wrapping a current value as a versioned one.

include module type of V1
  with type dissection_chunk = V1.dissection_chunk
   and type step = V1.step
   and type refutation = V1.refutation
   and type index = V1.index
   and type player = V1.player
   and type game_state = V1.game_state
   and type conflict = V1.conflict
   and type t = V1.t

Sourcetype dissection_chunk = V1.dissection_chunk = {

state_hash : State_hash.t option;
tick : Z.t;

}

Sourcetype step = V1.step =

| Dissection of dissection_chunk list
| Proof of string

Sourcetype refutation = V1.refutation =

| Start of {
1. player_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
2. opponent_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
}
| Move of {
1. choice : Z.t;
2. step : step;
}

Sourcetype index = V1.index = {

alice : Tezos_crypto.Signature.Public_key_hash.t;
bob : Tezos_crypto.Signature.Public_key_hash.t;

}

Source

val dissection_chunk_encoding : 
  dissection_chunk Tezos_base.TzPervasives.Data_encoding.t

Source

val dissection_encoding : 
  dissection_chunk list Tezos_base.TzPervasives.Data_encoding.t

Sourceval step_encoding : step Tezos_base.TzPervasives.Data_encoding.t

Sourceval refutation_encoding : refutation Tezos_base.TzPervasives.Data_encoding.t

Sourceval index_encoding : index Tezos_base.TzPervasives.Data_encoding.t

Source

val make_index : 
  Tezos_crypto.Signature.Public_key_hash.t ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  index

Sourcetype player = V1.player =

| Alice
| Bob

Sourcetype game_state = V1.game_state =

| Dissecting of {
1. dissection : dissection_chunk list;
2. default_number_of_sections : int;
}
| Final_move of {
1. agreed_start_chunk : dissection_chunk;
2. refuted_stop_chunk : dissection_chunk;
}

Sourcetype t = V1.t = {

turn : player;
inbox_snapshot : Inbox.V1.history_proof;
dal_snapshot : Dal.Slot_history.t;
start_level : int32;
inbox_level : int32;
game_state : game_state;

}

Sourcetype conflict = V1.conflict = {

other : Tezos_crypto.Signature.Public_key_hash.t;
their_commitment : Commitment.t;
our_commitment : Commitment.t;
parent_commitment : Octez_smart_rollup.Commitment.Hash.t;

}

Sourceval game_state_equal : game_state -> game_state -> bool

Sourceval player_encoding : player Tezos_base.TzPervasives.Data_encoding.t

Sourceval game_state_encoding : game_state Tezos_base.TzPervasives.Data_encoding.t

Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t

Sourceval conflict_encoding : conflict Tezos_base.TzPervasives.Data_encoding.t