Module `Game.V1`Source

Sourcetype dissection_chunk = {

}

Sourcetype step =

Sourcetype 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 = {

}

val dissection_chunk_encoding : 
  dissection_chunk Tezos_base.TzPervasives.Data_encoding.t

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

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

Sourcetype player =

Sourcetype 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 = {

}

Sourcetype conflict = {

}

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

Install