include sig ... end
type ctxt = Context.t
module Batch_V1 : sig ... end
val apply_deposit : ctxt -> Tezos_raw_protocol_013_PtJakart.Alpha_context.Tx_rollup_message.deposit -> (ctxt * Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_apply.Message_result.deposit_result * Tezos_raw_protocol_013_PtJakart.Alpha_context.Tx_rollup_withdraw.t option) Context.m
val apply_message : ctxt -> Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_apply.parameters -> Tezos_raw_protocol_013_PtJakart.Alpha_context.Tx_rollup_message.t -> (ctxt * (Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_apply.Message_result.message_result * Tezos_raw_protocol_013_PtJakart.Alpha_context.Tx_rollup_withdraw.t list)) Context.m