Module Mavryk_raw_protocol_alpha.Pending_denunciations_storage

This module deals with pending denunciations before they are used to slash delegates.

This module is responsible for maintaining the table Storage.Pending_denunciations

In particular, it maintains the invariant that no key is pointing to an empty denunciation list.

Returns the pending denunciations list of the given delegate. It returns an empty list if none are registered.

Add a denunciation in the list of the given delegate

Set the denunciation list of the given delegate. Previously set denunciations would be erased.

Tells if the given delegate has some pending denunciations

module For_RPC : sig ... end