Denunciations_repr (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Denunciations

type misbehaviour_cycle =

| Current
| Previous

type item = {

operation_hash : Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t;
rewarded : Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash;
misbehaviour : Misbehaviour.t;
misbehaviour_cycle : misbehaviour_cycle;

}

type t = item list

val item_encoding : 
  item Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val add : 
  Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t ->
  Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash ->
  Misbehaviour.t ->
  misbehaviour_cycle ->
  t ->
  t