Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val build_rejection :
State.t ->
reject_commitment:
Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment.Full.t ->
L2block.t ->
position:int ->
Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_rejection
Tezos_protocol_013_PtJakart.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.Public_key_hash.t ->
State.t ->
Tezos_protocol_013_PtJakart.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.