Tezos_raw_protocol_023_PtSeouLo.Denunciations_reprtype item = {operation_hash : Tezos_protocol_environment_023_PtSeouLo.Operation_hash.t;rewarded : Tezos_protocol_environment_023_PtSeouLo.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 Tezos_protocol_environment_023_PtSeouLo.Data_encoding.tval encoding : t Tezos_protocol_environment_023_PtSeouLo.Data_encoding.tval add :
Tezos_protocol_environment_023_PtSeouLo.Operation_hash.t ->
Tezos_protocol_environment_023_PtSeouLo.Signature.public_key_hash ->
Misbehaviour_repr.t ->
t ->
tAppend a new pending denunciation to the end of the given list.