Tezos_shell.PrevalidationSourceA 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.
module Make
(Filter : Shell_plugin.FILTER) :
T
with type protocol_operation = Filter.Proto.operation
and type validation_state = Filter.Proto.validation_state
and type filter_state = Filter.Mempool.state
and type filter_config = Filter.Mempool.config
and type chain_store = Tezos_store.Store.chain_storeHow-to obtain an instance of this module's main module type: T