Module Tezos_protocol_alpha.Protocol

val name : string
include module type of struct include Tezos_raw_protocol_alpha end
module Apply_internal_results = Tezos_raw_protocol_alpha.Apply_internal_results
module Apply_operation_result = Tezos_raw_protocol_alpha.Apply_operation_result
module Blinded_public_key_hash = Tezos_raw_protocol_alpha.Blinded_public_key_hash
module Bounded_history_repr = Tezos_raw_protocol_alpha.Bounded_history_repr
module Cache_memory_helpers = Tezos_raw_protocol_alpha.Cache_memory_helpers
module Carbonated_map_costs = Tezos_raw_protocol_alpha.Carbonated_map_costs
module Constants_parametric_previous_repr = Tezos_raw_protocol_alpha.Constants_parametric_previous_repr
module Constants_parametric_repr = Tezos_raw_protocol_alpha.Constants_parametric_repr
module Contract_delegate_storage = Tezos_raw_protocol_alpha.Contract_delegate_storage
module Contract_manager_storage = Tezos_raw_protocol_alpha.Contract_manager_storage
module Dal_endorsement_repr = Tezos_raw_protocol_alpha.Dal_endorsement_repr
module Delegate_activation_storage = Tezos_raw_protocol_alpha.Delegate_activation_storage
module Delegate_consensus_key = Tezos_raw_protocol_alpha.Delegate_consensus_key
module Delegate_missed_endorsements_storage = Tezos_raw_protocol_alpha.Delegate_missed_endorsements_storage
module Delegate_slashed_deposits_storage = Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storage
module Frozen_deposits_storage = Tezos_raw_protocol_alpha.Frozen_deposits_storage
module Gas_comparable_input_size = Tezos_raw_protocol_alpha.Gas_comparable_input_size
module Global_constants_costs = Tezos_raw_protocol_alpha.Global_constants_costs
module Global_constants_storage = Tezos_raw_protocol_alpha.Global_constants_storage
module Legacy_script_patches = Tezos_raw_protocol_alpha.Legacy_script_patches
module Liquidity_baking_cpmm = Tezos_raw_protocol_alpha.Liquidity_baking_cpmm
module Liquidity_baking_lqt = Tezos_raw_protocol_alpha.Liquidity_baking_lqt
module Liquidity_baking_migration = Tezos_raw_protocol_alpha.Liquidity_baking_migration
module Liquidity_baking_repr = Tezos_raw_protocol_alpha.Liquidity_baking_repr
module Liquidity_baking_storage = Tezos_raw_protocol_alpha.Liquidity_baking_storage
module Michelson_v1_primitives = Tezos_raw_protocol_alpha.Michelson_v1_primitives
module Sc_rollup_commitment_repr = Tezos_raw_protocol_alpha.Sc_rollup_commitment_repr
module Sc_rollup_commitment_storage = Tezos_raw_protocol_alpha.Sc_rollup_commitment_storage
module Sc_rollup_data_version_sig = Tezos_raw_protocol_alpha.Sc_rollup_data_version_sig
module Sc_rollup_inbox_message_repr = Tezos_raw_protocol_alpha.Sc_rollup_inbox_message_repr
module Sc_rollup_inbox_repr = Tezos_raw_protocol_alpha.Sc_rollup_inbox_repr
module Sc_rollup_inbox_storage = Tezos_raw_protocol_alpha.Sc_rollup_inbox_storage
module Sc_rollup_management_protocol = Tezos_raw_protocol_alpha.Sc_rollup_management_protocol
module Sc_rollup_metadata_repr = Tezos_raw_protocol_alpha.Sc_rollup_metadata_repr
module Sc_rollup_operations = Tezos_raw_protocol_alpha.Sc_rollup_operations
module Sc_rollup_outbox_message_repr = Tezos_raw_protocol_alpha.Sc_rollup_outbox_message_repr
module Sc_rollup_outbox_storage = Tezos_raw_protocol_alpha.Sc_rollup_outbox_storage
module Sc_rollup_proof_repr = Tezos_raw_protocol_alpha.Sc_rollup_proof_repr
module Sc_rollup_refutation_storage = Tezos_raw_protocol_alpha.Sc_rollup_refutation_storage
module Sc_rollup_stake_storage = Tezos_raw_protocol_alpha.Sc_rollup_stake_storage
module Script_interpreter_defs = Tezos_raw_protocol_alpha.Script_interpreter_defs
module Script_interpreter_logging = Tezos_raw_protocol_alpha.Script_interpreter_logging
module Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator
module Script_ir_translator_config = Tezos_raw_protocol_alpha.Script_ir_translator_config
module Script_tc_errors_registration = Tezos_raw_protocol_alpha.Script_tc_errors_registration
module Script_typed_ir_size = Tezos_raw_protocol_alpha.Script_typed_ir_size
module Script_typed_ir_size_costs = Tezos_raw_protocol_alpha.Script_typed_ir_size_costs
module Services_registration = Tezos_raw_protocol_alpha.Services_registration
module Ticket_lazy_storage_diff = Tezos_raw_protocol_alpha.Ticket_lazy_storage_diff
module Ticket_operations_diff = Tezos_raw_protocol_alpha.Ticket_operations_diff
module Tx_rollup_commitment_repr = Tezos_raw_protocol_alpha.Tx_rollup_commitment_repr
module Tx_rollup_commitment_storage = Tezos_raw_protocol_alpha.Tx_rollup_commitment_storage
module Tx_rollup_errors_repr = Tezos_raw_protocol_alpha.Tx_rollup_errors_repr
module Tx_rollup_hash_builder = Tezos_raw_protocol_alpha.Tx_rollup_hash_builder
module Tx_rollup_inbox_repr = Tezos_raw_protocol_alpha.Tx_rollup_inbox_repr
module Tx_rollup_inbox_storage = Tezos_raw_protocol_alpha.Tx_rollup_inbox_storage
module Tx_rollup_l2_address = Tezos_raw_protocol_alpha.Tx_rollup_l2_address
module Tx_rollup_l2_context = Tezos_raw_protocol_alpha.Tx_rollup_l2_context
module Tx_rollup_l2_context_hash = Tezos_raw_protocol_alpha.Tx_rollup_l2_context_hash
module Tx_rollup_l2_context_sig = Tezos_raw_protocol_alpha.Tx_rollup_l2_context_sig
module Tx_rollup_l2_storage_sig = Tezos_raw_protocol_alpha.Tx_rollup_l2_storage_sig
module Tx_rollup_l2_verifier = Tezos_raw_protocol_alpha.Tx_rollup_l2_verifier
module Tx_rollup_level_repr = Tezos_raw_protocol_alpha.Tx_rollup_level_repr
module Tx_rollup_message_hash_repr = Tezos_raw_protocol_alpha.Tx_rollup_message_hash_repr
module Tx_rollup_message_repr = Tezos_raw_protocol_alpha.Tx_rollup_message_repr
module Tx_rollup_message_result_hash_repr = Tezos_raw_protocol_alpha.Tx_rollup_message_result_hash_repr
module Tx_rollup_message_result_repr = Tezos_raw_protocol_alpha.Tx_rollup_message_result_repr
module Tx_rollup_parameters = Tezos_raw_protocol_alpha.Tx_rollup_parameters
module Tx_rollup_reveal_repr = Tezos_raw_protocol_alpha.Tx_rollup_reveal_repr
module Tx_rollup_reveal_storage = Tezos_raw_protocol_alpha.Tx_rollup_reveal_storage
module Tx_rollup_state_repr = Tezos_raw_protocol_alpha.Tx_rollup_state_repr
module Tx_rollup_state_storage = Tezos_raw_protocol_alpha.Tx_rollup_state_storage
module Tx_rollup_withdraw_list_hash_repr = Tezos_raw_protocol_alpha.Tx_rollup_withdraw_list_hash_repr
module Tx_rollup_withdraw_repr = Tezos_raw_protocol_alpha.Tx_rollup_withdraw_repr
module Voting_period_storage = Tezos_raw_protocol_alpha.Voting_period_storage
module Zk_rollup_account_repr = Tezos_raw_protocol_alpha.Zk_rollup_account_repr
module Zk_rollup_operation_repr = Tezos_raw_protocol_alpha.Zk_rollup_operation_repr
module Zk_rollup_parameters = Tezos_raw_protocol_alpha.Zk_rollup_parameters
module Zk_rollup_state_repr = Tezos_raw_protocol_alpha.Zk_rollup_state_repr
module Zk_rollup_ticket_repr = Tezos_raw_protocol_alpha.Zk_rollup_ticket_repr
include module type of struct include Tezos_raw_protocol_alpha.Main end
include Tezos_protocol_environment_alpha.Updater.PROTOCOL with type block_header_data = Tezos_raw_protocol_alpha.Alpha_context.Block_header.protocol_data and type block_header_metadata = Tezos_raw_protocol_alpha.Apply_results.block_metadata and type block_header = Tezos_raw_protocol_alpha.Alpha_context.Block_header.t and type operation_data := operation_data and type operation_receipt = Tezos_raw_protocol_alpha.Apply_results.packed_operation_metadata and type operation := operation and type validation_state = Tezos_raw_protocol_alpha.Validate.validation_state and type application_state = Tezos_raw_protocol_alpha.Apply.application_state
val max_block_length : int
val max_operation_data_length : int
val acceptable_pass : operation -> int option
type mode =
| Application of block_header
| Partial_validation of block_header
| Construction of {
predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
timestamp : Tezos_protocol_environment_alpha.Time.t;
block_header_data : block_header_data;
}
| Partial_construction of {
predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
timestamp : Tezos_protocol_environment_alpha.Time.t;
}
module Mempool : sig ... end