tezos-baking-012-Psithaca
  1. Overview
  2. Docs
package tezos-baking-012-Psithaca
Legend:
Library
Module
Module type
Parameter
Class
Class type
type delegate = {
  1. alias : string option;
  2. public_key : Tezos_crypto.Signature.public_key;
  3. public_key_hash : Tezos_crypto.Signature.public_key_hash;
  4. secret_key_uri : Tezos_client_base.Client_keys.sk_uri;
}
val pp_delegate : Format.formatter -> delegate -> unit
type validation_mode =
  1. | Node
  2. | Local of Abstract_context_index.t
type delegate_slots = {
  1. own_delegate_slots : (delegate * endorsing_slot) SlotMap.t;
  2. all_delegate_slots : endorsing_slot SlotMap.t;
  3. all_slots_by_round : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t array;
}
type proposal = {
  1. block : block_info;
  2. predecessor : block_info;
}
type endorsable_payload = {
  1. proposal : proposal;
  2. prequorum : prequorum;
}
type level_state = {
  1. current_level : int32;
  2. latest_proposal : proposal;
  3. locked_round : locked_round option;
  4. endorsable_payload : endorsable_payload option;
  5. elected_block : elected_block option;
  6. delegate_slots : delegate_slots;
  7. next_level_delegate_slots : delegate_slots;
  8. next_level_proposed_round : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t option;
}
type phase =
  1. | Idle
  2. | Awaiting_preendorsements
  3. | Awaiting_endorsements
type round_state = {
  1. current_round : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t;
  2. current_phase : phase;
}
type state = {
  1. global_state : global_state;
  2. level_state : level_state;
  3. round_state : round_state;
}
type t = state
type timeout_kind =
  1. | End_of_round of {
    1. ending_round : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t;
    }
  2. | Time_to_bake_next_level of {
    1. at_round : Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t;
    }
type voting_power = int
type state_data = {
  1. level_data : int32;
  2. locked_round_data : locked_round option;
  3. endorsable_payload_data : endorsable_payload option;
}
val record_state : t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val may_record_new_state : previous_state:t -> new_state:t -> unit Tezos_base.TzPervasives.tzresult Lwt.t
val may_load_endorsable_data : t -> t Tezos_base.TzPervasives.tzresult Lwt.t
val create_cache : unit -> cache
val pp_validation_mode : Format.formatter -> validation_mode -> unit
val pp_global_state : Format.formatter -> global_state -> unit
val pp_option : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a option -> unit
val pp_block_info : Format.formatter -> block_info -> unit
val pp_proposal : Format.formatter -> proposal -> unit
val pp_locked_round : Format.formatter -> locked_round -> unit
val pp_endorsable_payload : Format.formatter -> endorsable_payload -> unit
val pp_elected_block : Format.formatter -> elected_block -> unit
val pp_endorsing_slot : Format.formatter -> (delegate * endorsing_slot) -> unit
val pp_delegate_slots : Format.formatter -> delegate_slots -> unit
val pp_level_state : Format.formatter -> level_state -> unit
val pp_phase : Format.formatter -> phase -> unit
val pp_round_state : Format.formatter -> round_state -> unit
val pp : Format.formatter -> t -> unit
val pp_timeout_kind : Format.formatter -> timeout_kind -> unit
val pp_event : Format.formatter -> event -> unit