Block_validation (octez-protocol-021-PsQuebec-libs.Tezos_protocol_plugin_021_PsQuebec.Block

type block_validation_state

Fast shell-side state threaded through block validation.

val init_block_validation_state : 
  Tezos_protocol_021_PsQuebec.Protocol.validation_state ->
  block_validation_state

val check_block_operation : 
  block_validation_state ->
  Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.packed_operation ->
  block_validation_state Tezos_base.TzPervasives.tzresult Lwt.t