package tezos-protocol-alpha

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

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 list

List of all pending denunciations about the same culprit.

Append a new pending denunciation to the end of the given list.

OCaml

Innovation. Community. Security.