val proof_size : proof -> int

apply_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.