Mavryk_raw_protocol_alpha.Denunciations_reprtype item = {operation_hash : Mavryk_protocol_environment_alpha.Operation_hash.t;rewarded : Mavryk_protocol_environment_alpha.Signature.public_key_hash;misbehaviour : Misbehaviour_repr.t;}Internal representation of a pending denunciation, meaning that a denunciation operation has been observed in an applied block, but the corresponding slashing has not happened yet.
Note: the public key hash of the culprit doesn't appear in this type because it is used as key to store the list of a culprit's items (see type t below) in the context.
type t = item listList of all pending denunciations about the same culprit.
val item_encoding : item Mavryk_protocol_environment_alpha.Data_encoding.tval encoding : t Mavryk_protocol_environment_alpha.Data_encoding.tval add :
Mavryk_protocol_environment_alpha.Operation_hash.t ->
Mavryk_protocol_environment_alpha.Signature.public_key_hash ->
Misbehaviour_repr.t ->
t ->
tAppend a new pending denunciation to the end of the given list.