Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val proof_size : proof -> intval apply_message :
Context.context ->
Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_apply.parameters ->
Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message.t ->
(proof * Inbox.message_result Context.produce_proof_result)
Tezos_base.TzPervasives.tzresult
Lwt.tapply_message ctxt parameters message applies message on ctxt using parameters.
It uses internally the Context.Prover_context to generate the associated proof of the application.
The modified prover context state is returned and can be either dropped or committed. Note that if the underlying tree is meant to be kept, it must be committed on disk, no others proofs can be generated on a non-persistent tree.