A newly received block is validated by replaying locally the block creation, applying each operation and its finalization to ensure their consistency. This module is stateless and creates and manipulates the prevalidation_state.
type 'protocol_operation operation = private {hash : Tezos_crypto.Operation_hash.t;Hash of an operation.
*)raw : Tezos_base.Operation.t;Raw representation of an operation (from the point view of the shell).
*)protocol : 'protocol_operation;Economic protocol specific data of an operation. It is the unserialized representation of raw.protocol_data. For convenience, the type associated to this type may be unit if we do not have deserialized the operation yet.
count_successful_prechecks : int;This field provides an under-approximation for the number of times the operation has been successfully prechecked. It is an under-approximation because if the operation is e.g., parsed more than once, or is prechecked in other modes, this flag is not globally updated.
*)}module type T = sig ... endmodule Make
(Proto : Tezos_protocol_environment.PROTOCOL) :
T
with type protocol_operation = Proto.operation
and type operation_receipt = Proto.operation_receipt
and type validation_state = Proto.validation_state
and type chain_store = Tezos_store.Store.chain_storeHow-to obtain an instance of this module's main module type: T
module Internal_for_tests : sig ... end