Mavryk_alpha_test_helpers.Slashing_helpersHelpers related to denunciations and slashing.
module Misbehaviour_repr : sig ... endHelpers related to Protocol.Misbehaviour_repr.
module Full_denunciation : sig ... endHelpers about "full denunciations", that is, a denunciation item and its culprit. See type t of this module.
val apply_all_slashes_at_cycle_end :
Mavryk_protocol_alpha.Protocol.Alpha_context.Cycle.t ->
Block.t ->
State.t ->
State.t Mavryk_base.TzPervasives.tzresult Lwt.tApplies all slashes at cycle end in the state