val build_rejection :
State.t ->
reject_commitment:
Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Full.t ->
L2block.t ->
position:int ->
(Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_proof.t
* Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_rejection
Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.manager_operation)
Tezos_base.TzPervasives.tzresult
Lwt.tbuild_rejection state ~reject_commitment block ~position constructs a rejection operation for rejecting message at position position in the (bad) commitment reject_commitment, using the actual L2 block block.
val reject_bad_commitment :
source:Tezos_crypto.Signature.V0.Public_key_hash.t ->
State.t ->
Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Full.t ->
unit Tezos_base.TzPervasives.tzresult Lwt.treject_bad_commitment ~source state commitment injects a rejection operation with source if the commitment is rejectable.