Block_validation (octez-protocol-alpha-libs.Tezos_protocol_plugin_alpha.Block

type block_validation_state

Fast shell-side state threaded through block validation.

val init_block_validation_state : 
  Tezos_protocol_alpha.Protocol.validation_state ->
  block_validation_state

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