octez-l2-libs 18.1 · OCaml Package

type dissection_chunk = {

}

type step =

type 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;
}

type 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

val step_encoding : step Tezos_base.TzPervasives.Data_encoding.t

val refutation_encoding : refutation Tezos_base.TzPervasives.Data_encoding.t

val 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

type player =

type 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;
}

type t = {

}

type conflict = {

}

val game_state_equal : game_state -> game_state -> bool

val player_encoding : player Tezos_base.TzPervasives.Data_encoding.t

val game_state_encoding : game_state Tezos_base.TzPervasives.Data_encoding.t

val encoding : t Tezos_base.TzPervasives.Data_encoding.t

val conflict_encoding : conflict Tezos_base.TzPervasives.Data_encoding.t

package octez-l2-libs