package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-protocol-015-PtLimaPt
Legend:
Library
Module
Module type
Parameter
Class
Class type
type player =
  1. | Alice
  2. | Bob
val player_equal : player -> player -> bool
type dissection_chunk = {
  1. state_hash : State_hash.t option;
  2. tick : Tick.t;
}
type game_state =
  1. | Dissecting of {
    1. dissection : dissection_chunk list;
    2. default_number_of_sections : int;
    }
  2. | Final_move of {
    1. agreed_start_chunk : dissection_chunk;
    2. refuted_stop_chunk : dissection_chunk;
    }
val game_state_equal : game_state -> game_state -> bool
type t = {
  1. turn : player;
  2. inbox_snapshot : Sc_rollup_inbox_repr.history_proof;
  3. level : Raw_level.t;
  4. pvm_name : string;
  5. game_state : game_state;
}
module Index : sig ... end
val opponent : player -> player
type step =
  1. | Dissection of dissection_chunk list
  2. | Proof of Proof.t
type refutation = {
  1. choice : Tick.t;
  2. step : step;
}
type invalid_move =
  1. | Dissection_choice_not_found of Tick.t
  2. | Dissection_number_of_sections_mismatch of {
    1. expected : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    2. given : Tezos_protocol_environment_015_PtLimaPt.Z.t;
    }
  3. | Dissection_invalid_number_of_sections of Tezos_protocol_environment_015_PtLimaPt.Z.t
  4. | Dissection_start_hash_mismatch of {
    1. expected : State_hash.t option;
    2. given : State_hash.t option;
    }
  5. | Dissection_stop_hash_mismatch of State_hash.t option
  6. | Dissection_edge_ticks_mismatch of {
    1. dissection_start_tick : Tick.t;
    2. dissection_stop_tick : Tick.t;
    3. chunk_start_tick : Tick.t;
    4. chunk_stop_tick : Tick.t;
    }
  7. | Dissection_ticks_not_increasing
  8. | Dissection_invalid_distribution
  9. | Dissection_invalid_successive_states_shape
  10. | Proof_unexpected_section_size of Tezos_protocol_environment_015_PtLimaPt.Z.t
  11. | Proof_start_state_hash_mismatch of {
    1. start_state_hash : State_hash.t option;
    2. start_proof : State_hash.t;
    }
  12. | Proof_stop_state_hash_failed_to_refute of {
    1. stop_state_hash : State_hash.t option;
    2. stop_proof : State_hash.t option;
    }
  13. | Proof_stop_state_hash_failed_to_validate of {
    1. stop_state_hash : State_hash.t option;
    2. stop_proof : State_hash.t option;
    }
  14. | Proof_invalid of string
type reason =
  1. | Conflict_resolved
  2. | Invalid_move of invalid_move
  3. | Timeout
type game_result =
  1. | Loser of {
    1. reason : reason;
    2. loser : Staker.t;
    }
  2. | Draw
type status =
  1. | Ongoing
  2. | Ended of game_result
val loser_of_results : alice_result:bool -> bob_result:bool -> player option
val initial : Inbox.history_proof -> pvm_name:string -> parent:Commitment.t -> child:Commitment.t -> refuter:Staker.t -> defender:Staker.t -> default_number_of_sections:int -> t
type timeout = {
  1. alice : int;
  2. bob : int;
  3. last_turn_level : Raw_level_repr.t;
}
module Internal_for_tests : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct