State_transitions (p.octez-protocol-alpha-libs.18.1.doc.octez-protocol-alpha-libs.baking.Tezos_baking_alpha.Baking_events.State

include module type of struct include Tezos_base.TzPervasives.Internal_event.Simple end

type 'a t = 'a Tezos_event_logging__Internal_event.Simple.t

val emit : 'a t -> 'a -> unit Lwt.t

val emit__dont_wait__use_with_care : 'a t -> 'a -> unit

val declare_0 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  unit ->
  unit t

val declare_1 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  'a t

val declare_2 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ('a * 'b) t

val declare_3 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ('a * 'b * 'c) t

val declare_4 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ?pp4:(Format.formatter -> 'd -> unit) ->
  (string * 'd Data_encoding.t) ->
  ('a * 'b * 'c * 'd) t

val declare_5 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ?pp4:(Format.formatter -> 'd -> unit) ->
  (string * 'd Data_encoding.t) ->
  ?pp5:(Format.formatter -> 'e -> unit) ->
  (string * 'e Data_encoding.t) ->
  ('a * 'b * 'c * 'd * 'e) t

val declare_6 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ?pp4:(Format.formatter -> 'd -> unit) ->
  (string * 'd Data_encoding.t) ->
  ?pp5:(Format.formatter -> 'e -> unit) ->
  (string * 'e Data_encoding.t) ->
  ?pp6:(Format.formatter -> 'f -> unit) ->
  (string * 'f Data_encoding.t) ->
  ('a * 'b * 'c * 'd * 'e * 'f) t

val declare_7 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ?pp4:(Format.formatter -> 'd -> unit) ->
  (string * 'd Data_encoding.t) ->
  ?pp5:(Format.formatter -> 'e -> unit) ->
  (string * 'e Data_encoding.t) ->
  ?pp6:(Format.formatter -> 'f -> unit) ->
  (string * 'f Data_encoding.t) ->
  ?pp7:(Format.formatter -> 'g -> unit) ->
  (string * 'g Data_encoding.t) ->
  ('a * 'b * 'c * 'd * 'e * 'f * 'g) t

val declare_8 : 
  ?section:string list ->
  name:string ->
  msg:string ->
  ?level:Tezos_event_logging__Internal_event.level ->
  ?pp1:(Format.formatter -> 'a -> unit) ->
  (string * 'a Data_encoding.t) ->
  ?pp2:(Format.formatter -> 'b -> unit) ->
  (string * 'b Data_encoding.t) ->
  ?pp3:(Format.formatter -> 'c -> unit) ->
  (string * 'c Data_encoding.t) ->
  ?pp4:(Format.formatter -> 'd -> unit) ->
  (string * 'd Data_encoding.t) ->
  ?pp5:(Format.formatter -> 'e -> unit) ->
  (string * 'e Data_encoding.t) ->
  ?pp6:(Format.formatter -> 'f -> unit) ->
  (string * 'f Data_encoding.t) ->
  ?pp7:(Format.formatter -> 'g -> unit) ->
  (string * 'g Data_encoding.t) ->
  ?pp8:(Format.formatter -> 'h -> unit) ->
  (string * 'h Data_encoding.t) ->
  ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h) t

Sourceval section : string list

Source

val new_valid_proposal : 
  (Tezos_base.TzPervasives.Block_hash.t
   * int32
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    t

Source

val new_head : 
  (Tezos_base.TzPervasives.Block_hash.t
   * int32
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    t

Sourceval new_head_with_increasing_level : unit t

Source

val no_proposal_slot : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
   * int32
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    t

Source

val proposal_slot : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
   * int32
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
   * Baking_state.consensus_key_and_delegate)
    t

Sourceval new_head_while_waiting_for_qc : unit t

Sourceval applied_expected_proposal_received : Tezos_base.TzPervasives.Block_hash.t t

Sourceval unexpected_new_head_while_waiting_for_application : unit t

Sourceval new_valid_proposal_while_waiting_for_qc : unit t

Sourceval valid_proposal_received_after_application : unit t

Source

val unexpected_pqc_while_waiting_for_application : 
  (Tezos_base.TzPervasives.Block_hash.t * Tezos_base.TzPervasives.Block_hash.t)
    t

Sourceval pqc_while_waiting_for_application : Tezos_base.TzPervasives.Block_hash.t t

Source

val unexpected_proposal_round : 
  (Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    t

Source

val proposal_for_round_already_seen : 
  (Tezos_base.TzPervasives.Block_hash.t
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t
   * Tezos_base.TzPervasives.Block_hash.t)
    t

Sourceval updating_latest_proposal : Tezos_base.TzPervasives.Block_hash.t t

Sourceval baker_is_ahead_of_node : (int32 * int32) t

Source

val new_proposal_is_on_another_branch : 
  (Tezos_base.TzPervasives.Block_hash.t * Tezos_base.TzPervasives.Block_hash.t)
    t

Sourceval switching_branch : unit t

Sourceval branch_proposal_has_better_fitness : unit t

Sourceval branch_proposal_has_no_prequorum : unit t

Sourceval branch_proposal_has_lower_prequorum : unit t

Sourceval branch_proposal_has_better_prequorum : unit t

Sourceval branch_proposal_has_same_prequorum : unit t

Sourceval attempting_preattest_proposal : Tezos_base.TzPervasives.Block_hash.t t

Sourceval skipping_invalid_proposal : unit t

Sourceval outdated_proposal : Tezos_base.TzPervasives.Block_hash.t t

Source

val proposing_fresh_block : 
  (Baking_state.consensus_key_and_delegate
   * Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
    t

Sourceval no_attestable_payload_fresh_block : unit t

Sourceval repropose_block : Tezos_protocol_alpha.Protocol.Block_payload_hash.t t

Source

val unexpected_prequorum_received : 
  (Tezos_base.TzPervasives.Block_hash.t * Tezos_base.TzPervasives.Block_hash.t)
    t

Source

val unexpected_quorum_received : 
  (Tezos_base.TzPervasives.Block_hash.t * Tezos_base.TzPervasives.Block_hash.t)
    t

Sourceval handling_prequorum_on_non_applied_proposal : unit t

Sourceval step_current_phase : (Baking_state.phase * Baking_state.event) t