package tezos-protocol-020-PsParisC

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

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
OCaml

Innovation. Community. Security.