package tezos-protocol-013-PtJakart

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

record ctxt tx_rollup lvl message_position adds message_position to the list of message with revealed withdrawals for tx_rollup at lvl.

mem ctxt tx_rollup lvl message_position checks if message_position has already had its withdrawals revealed for tx_rollup at lvl.

remove ctxt tx_rollup lvl clean-up the reveal accounting data from the layer-1 storage.