Protocol (u.031dfd9d52eb489d9c64ccd3262958c8.tezos-protocol-alpha.17.3.doc.tezos-protocol-alpha.Tezos_protocol

Sourceval hash : Tezos_crypto.Hashed.Protocol_hash.t

Sourceval name : string

include module type of struct include Tezos_raw_protocol_alpha end

Sourcemodule Alpha_context = Tezos_raw_protocol_alpha.Alpha_context

Sourcemodule Alpha_services = Tezos_raw_protocol_alpha.Alpha_services

Sourcemodule Amendment = Tezos_raw_protocol_alpha.Amendment

Sourcemodule Apply = Tezos_raw_protocol_alpha.Apply

Sourcemodule Apply_internal_results = Tezos_raw_protocol_alpha.Apply_internal_results

Sourcemodule Apply_operation_result = Tezos_raw_protocol_alpha.Apply_operation_result

Sourcemodule Apply_results = Tezos_raw_protocol_alpha.Apply_results

Sourcemodule Baking = Tezos_raw_protocol_alpha.Baking

Sourcemodule Bitset = Tezos_raw_protocol_alpha.Bitset

Source

module Blinded_public_key_hash =
  Tezos_raw_protocol_alpha.Blinded_public_key_hash

Sourcemodule Block_header_repr = Tezos_raw_protocol_alpha.Block_header_repr

Sourcemodule Block_payload_hash = Tezos_raw_protocol_alpha.Block_payload_hash

Sourcemodule Block_payload_repr = Tezos_raw_protocol_alpha.Block_payload_repr

Sourcemodule Bond_id_repr = Tezos_raw_protocol_alpha.Bond_id_repr

Sourcemodule Bootstrap_storage = Tezos_raw_protocol_alpha.Bootstrap_storage

Sourcemodule Bounded_history_repr = Tezos_raw_protocol_alpha.Bounded_history_repr

Sourcemodule Cache_memory_helpers = Tezos_raw_protocol_alpha.Cache_memory_helpers

Sourcemodule Cache_repr = Tezos_raw_protocol_alpha.Cache_repr

Sourcemodule Carbonated_map = Tezos_raw_protocol_alpha.Carbonated_map

Sourcemodule Carbonated_map_costs = Tezos_raw_protocol_alpha.Carbonated_map_costs

Sourcemodule Commitment_repr = Tezos_raw_protocol_alpha.Commitment_repr

Sourcemodule Commitment_storage = Tezos_raw_protocol_alpha.Commitment_storage

Source

module Constants_parametric_previous_repr =
  Tezos_raw_protocol_alpha.Constants_parametric_previous_repr

Source

module Constants_parametric_repr =
  Tezos_raw_protocol_alpha.Constants_parametric_repr

Sourcemodule Constants_repr = Tezos_raw_protocol_alpha.Constants_repr

Sourcemodule Constants_services = Tezos_raw_protocol_alpha.Constants_services

Sourcemodule Constants_storage = Tezos_raw_protocol_alpha.Constants_storage

Sourcemodule Context_binary_proof = Tezos_raw_protocol_alpha.Context_binary_proof

Source

module Contract_delegate_storage =
  Tezos_raw_protocol_alpha.Contract_delegate_storage

Sourcemodule Contract_hash = Tezos_raw_protocol_alpha.Contract_hash

Source

module Contract_manager_storage =
  Tezos_raw_protocol_alpha.Contract_manager_storage

Sourcemodule Contract_repr = Tezos_raw_protocol_alpha.Contract_repr

Sourcemodule Contract_services = Tezos_raw_protocol_alpha.Contract_services

Sourcemodule Contract_storage = Tezos_raw_protocol_alpha.Contract_storage

Sourcemodule Cycle_repr = Tezos_raw_protocol_alpha.Cycle_repr

Sourcemodule Dal_apply = Tezos_raw_protocol_alpha.Dal_apply

Sourcemodule Dal_attestation_repr = Tezos_raw_protocol_alpha.Dal_attestation_repr

Sourcemodule Dal_errors_repr = Tezos_raw_protocol_alpha.Dal_errors_repr

Sourcemodule Dal_operations_repr = Tezos_raw_protocol_alpha.Dal_operations_repr

Sourcemodule Dal_services = Tezos_raw_protocol_alpha.Dal_services

Sourcemodule Dal_slot_index_repr = Tezos_raw_protocol_alpha.Dal_slot_index_repr

Sourcemodule Dal_slot_repr = Tezos_raw_protocol_alpha.Dal_slot_repr

Sourcemodule Dal_slot_storage = Tezos_raw_protocol_alpha.Dal_slot_storage

Source

module Delegate_activation_storage =
  Tezos_raw_protocol_alpha.Delegate_activation_storage

Sourcemodule Delegate_consensus_key = Tezos_raw_protocol_alpha.Delegate_consensus_key

Sourcemodule Delegate_cycles = Tezos_raw_protocol_alpha.Delegate_cycles

Source

module Delegate_missed_endorsements_storage =
  Tezos_raw_protocol_alpha.Delegate_missed_endorsements_storage

Sourcemodule Delegate_sampler = Tezos_raw_protocol_alpha.Delegate_sampler

Sourcemodule Delegate_services = Tezos_raw_protocol_alpha.Delegate_services

Source

module Delegate_slashed_deposits_storage =
  Tezos_raw_protocol_alpha.Delegate_slashed_deposits_storage

Sourcemodule Delegate_storage = Tezos_raw_protocol_alpha.Delegate_storage

Sourcemodule Dependent_bool = Tezos_raw_protocol_alpha.Dependent_bool

Sourcemodule Destination_repr = Tezos_raw_protocol_alpha.Destination_repr

Sourcemodule Destination_storage = Tezos_raw_protocol_alpha.Destination_storage

Sourcemodule Entrypoint_repr = Tezos_raw_protocol_alpha.Entrypoint_repr

Sourcemodule Fees_storage = Tezos_raw_protocol_alpha.Fees_storage

Sourcemodule Fitness_repr = Tezos_raw_protocol_alpha.Fitness_repr

Sourcemodule Fixed_point_repr = Tezos_raw_protocol_alpha.Fixed_point_repr

Source

module Frozen_deposits_storage =
  Tezos_raw_protocol_alpha.Frozen_deposits_storage

Source

module Gas_comparable_input_size =
  Tezos_raw_protocol_alpha.Gas_comparable_input_size

Sourcemodule Gas_input_size = Tezos_raw_protocol_alpha.Gas_input_size

Sourcemodule Gas_limit_repr = Tezos_raw_protocol_alpha.Gas_limit_repr

Sourcemodule Gas_monad = Tezos_raw_protocol_alpha.Gas_monad

Sourcemodule Global_constants_costs = Tezos_raw_protocol_alpha.Global_constants_costs

Source

module Global_constants_storage =
  Tezos_raw_protocol_alpha.Global_constants_storage

Sourcemodule Indexable = Tezos_raw_protocol_alpha.Indexable

Sourcemodule Init_storage = Tezos_raw_protocol_alpha.Init_storage

Sourcemodule Lazy_storage_diff = Tezos_raw_protocol_alpha.Lazy_storage_diff

Sourcemodule Lazy_storage_kind = Tezos_raw_protocol_alpha.Lazy_storage_kind

Sourcemodule Legacy_script_patches = Tezos_raw_protocol_alpha.Legacy_script_patches

Sourcemodule Level_repr = Tezos_raw_protocol_alpha.Level_repr

Sourcemodule Level_storage = Tezos_raw_protocol_alpha.Level_storage

Sourcemodule Liquidity_baking_cpmm = Tezos_raw_protocol_alpha.Liquidity_baking_cpmm

Sourcemodule Liquidity_baking_lqt = Tezos_raw_protocol_alpha.Liquidity_baking_lqt

Source

module Liquidity_baking_migration =
  Tezos_raw_protocol_alpha.Liquidity_baking_migration

Sourcemodule Liquidity_baking_repr = Tezos_raw_protocol_alpha.Liquidity_baking_repr

Source

module Liquidity_baking_storage =
  Tezos_raw_protocol_alpha.Liquidity_baking_storage

Sourcemodule Local_gas_counter = Tezos_raw_protocol_alpha.Local_gas_counter

Sourcemodule Main = Tezos_raw_protocol_alpha.Main

Sourcemodule Manager_counter_repr = Tezos_raw_protocol_alpha.Manager_counter_repr

Sourcemodule Manager_repr = Tezos_raw_protocol_alpha.Manager_repr

Sourcemodule Mempool_validation = Tezos_raw_protocol_alpha.Mempool_validation

Sourcemodule Merkle_list = Tezos_raw_protocol_alpha.Merkle_list

Sourcemodule Michelson_v1_gas = Tezos_raw_protocol_alpha.Michelson_v1_gas

Sourcemodule Michelson_v1_gas_costs = Tezos_raw_protocol_alpha.Michelson_v1_gas_costs

Source

module Michelson_v1_gas_costs_generated =
  Tezos_raw_protocol_alpha.Michelson_v1_gas_costs_generated

Source

module Michelson_v1_primitives =
  Tezos_raw_protocol_alpha.Michelson_v1_primitives

Sourcemodule Migration_repr = Tezos_raw_protocol_alpha.Migration_repr

Sourcemodule Misc = Tezos_raw_protocol_alpha.Misc

Sourcemodule Non_empty_string = Tezos_raw_protocol_alpha.Non_empty_string

Sourcemodule Nonce_hash = Tezos_raw_protocol_alpha.Nonce_hash

Sourcemodule Nonce_storage = Tezos_raw_protocol_alpha.Nonce_storage

Sourcemodule Operation_costs = Tezos_raw_protocol_alpha.Operation_costs

Sourcemodule Operation_repr = Tezos_raw_protocol_alpha.Operation_repr

Sourcemodule Origination_nonce = Tezos_raw_protocol_alpha.Origination_nonce

Sourcemodule Parameters_repr = Tezos_raw_protocol_alpha.Parameters_repr

Sourcemodule Path_encoding = Tezos_raw_protocol_alpha.Path_encoding

Sourcemodule Period_repr = Tezos_raw_protocol_alpha.Period_repr

Sourcemodule Ratio_repr = Tezos_raw_protocol_alpha.Ratio_repr

Sourcemodule Raw_context = Tezos_raw_protocol_alpha.Raw_context

Sourcemodule Raw_context_intf = Tezos_raw_protocol_alpha.Raw_context_intf

Sourcemodule Raw_level_repr = Tezos_raw_protocol_alpha.Raw_level_repr

Sourcemodule Receipt_repr = Tezos_raw_protocol_alpha.Receipt_repr

Sourcemodule Round_repr = Tezos_raw_protocol_alpha.Round_repr

Sourcemodule Sampler = Tezos_raw_protocol_alpha.Sampler

Sourcemodule Sapling_repr = Tezos_raw_protocol_alpha.Sapling_repr

Sourcemodule Sapling_services = Tezos_raw_protocol_alpha.Sapling_services

Sourcemodule Sapling_storage = Tezos_raw_protocol_alpha.Sapling_storage

Sourcemodule Sapling_validator = Tezos_raw_protocol_alpha.Sapling_validator

Sourcemodule Saturation_repr = Tezos_raw_protocol_alpha.Saturation_repr

Sourcemodule Sc_rollup_PVM_sig = Tezos_raw_protocol_alpha.Sc_rollup_PVM_sig

Sourcemodule Sc_rollup_arith = Tezos_raw_protocol_alpha.Sc_rollup_arith

Source

module Sc_rollup_commitment_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_commitment_repr

Source

module Sc_rollup_commitment_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_commitment_storage

Sourcemodule Sc_rollup_costs = Tezos_raw_protocol_alpha.Sc_rollup_costs

Source

module Sc_rollup_data_version_sig =
  Tezos_raw_protocol_alpha.Sc_rollup_data_version_sig

Source

module Sc_rollup_dissection_chunk_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_dissection_chunk_repr

Sourcemodule Sc_rollup_errors = Tezos_raw_protocol_alpha.Sc_rollup_errors

Sourcemodule Sc_rollup_game_repr = Tezos_raw_protocol_alpha.Sc_rollup_game_repr

Source

module Sc_rollup_inbox_merkelized_payload_hashes_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_inbox_merkelized_payload_hashes_repr

Source

module Sc_rollup_inbox_message_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_inbox_message_repr

Sourcemodule Sc_rollup_inbox_repr = Tezos_raw_protocol_alpha.Sc_rollup_inbox_repr

Source

module Sc_rollup_inbox_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_inbox_storage

Source

module Sc_rollup_management_protocol =
  Tezos_raw_protocol_alpha.Sc_rollup_management_protocol

Source

module Sc_rollup_metadata_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_metadata_repr

Sourcemodule Sc_rollup_operations = Tezos_raw_protocol_alpha.Sc_rollup_operations

Source

module Sc_rollup_outbox_message_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_outbox_message_repr

Source

module Sc_rollup_outbox_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_outbox_storage

Sourcemodule Sc_rollup_proof_repr = Tezos_raw_protocol_alpha.Sc_rollup_proof_repr

Source

module Sc_rollup_refutation_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_refutation_storage

Sourcemodule Sc_rollup_repr = Tezos_raw_protocol_alpha.Sc_rollup_repr

Sourcemodule Sc_rollup_reveal_hash = Tezos_raw_protocol_alpha.Sc_rollup_reveal_hash

Source

module Sc_rollup_stake_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_stake_storage

Source

module Sc_rollup_staker_index_repr =
  Tezos_raw_protocol_alpha.Sc_rollup_staker_index_repr

Source

module Sc_rollup_staker_index_storage =
  Tezos_raw_protocol_alpha.Sc_rollup_staker_index_storage

Sourcemodule Sc_rollup_storage = Tezos_raw_protocol_alpha.Sc_rollup_storage

Sourcemodule Sc_rollup_tick_repr = Tezos_raw_protocol_alpha.Sc_rollup_tick_repr

Sourcemodule Sc_rollup_wasm = Tezos_raw_protocol_alpha.Sc_rollup_wasm

Sourcemodule Sc_rollups = Tezos_raw_protocol_alpha.Sc_rollups

Sourcemodule Script_big_map = Tezos_raw_protocol_alpha.Script_big_map

Sourcemodule Script_bytes = Tezos_raw_protocol_alpha.Script_bytes

Sourcemodule Script_cache = Tezos_raw_protocol_alpha.Script_cache

Sourcemodule Script_comparable = Tezos_raw_protocol_alpha.Script_comparable

Sourcemodule Script_expr_hash = Tezos_raw_protocol_alpha.Script_expr_hash

Sourcemodule Script_int = Tezos_raw_protocol_alpha.Script_int

Sourcemodule Script_interpreter = Tezos_raw_protocol_alpha.Script_interpreter

Source

module Script_interpreter_defs =
  Tezos_raw_protocol_alpha.Script_interpreter_defs

Sourcemodule Script_ir_annot = Tezos_raw_protocol_alpha.Script_ir_annot

Sourcemodule Script_ir_translator = Tezos_raw_protocol_alpha.Script_ir_translator

Source

module Script_ir_translator_config =
  Tezos_raw_protocol_alpha.Script_ir_translator_config

Sourcemodule Script_ir_unparser = Tezos_raw_protocol_alpha.Script_ir_unparser

Sourcemodule Script_list = Tezos_raw_protocol_alpha.Script_list

Sourcemodule Script_map = Tezos_raw_protocol_alpha.Script_map

Sourcemodule Script_repr = Tezos_raw_protocol_alpha.Script_repr

Sourcemodule Script_set = Tezos_raw_protocol_alpha.Script_set

Sourcemodule Script_string = Tezos_raw_protocol_alpha.Script_string

Sourcemodule Script_tc_context = Tezos_raw_protocol_alpha.Script_tc_context

Sourcemodule Script_tc_errors = Tezos_raw_protocol_alpha.Script_tc_errors

Source

module Script_tc_errors_registration =
  Tezos_raw_protocol_alpha.Script_tc_errors_registration

Sourcemodule Script_timestamp = Tezos_raw_protocol_alpha.Script_timestamp

Sourcemodule Script_typed_ir = Tezos_raw_protocol_alpha.Script_typed_ir

Sourcemodule Script_typed_ir_size = Tezos_raw_protocol_alpha.Script_typed_ir_size

Source

module Script_typed_ir_size_costs =
  Tezos_raw_protocol_alpha.Script_typed_ir_size_costs

Sourcemodule Seed_repr = Tezos_raw_protocol_alpha.Seed_repr

Sourcemodule Seed_storage = Tezos_raw_protocol_alpha.Seed_storage

Sourcemodule Services_registration = Tezos_raw_protocol_alpha.Services_registration

Sourcemodule Skip_list_costs = Tezos_raw_protocol_alpha.Skip_list_costs

Sourcemodule Skip_list_repr = Tezos_raw_protocol_alpha.Skip_list_repr

Sourcemodule Slot_repr = Tezos_raw_protocol_alpha.Slot_repr

Sourcemodule Stake_storage = Tezos_raw_protocol_alpha.Stake_storage

Sourcemodule State_hash = Tezos_raw_protocol_alpha.State_hash

Sourcemodule Storage = Tezos_raw_protocol_alpha.Storage

Sourcemodule Storage_costs = Tezos_raw_protocol_alpha.Storage_costs

Sourcemodule Storage_description = Tezos_raw_protocol_alpha.Storage_description

Sourcemodule Storage_functors = Tezos_raw_protocol_alpha.Storage_functors

Sourcemodule Storage_sigs = Tezos_raw_protocol_alpha.Storage_sigs

Sourcemodule Tez_repr = Tezos_raw_protocol_alpha.Tez_repr

Sourcemodule Ticket_accounting = Tezos_raw_protocol_alpha.Ticket_accounting

Sourcemodule Ticket_amount = Tezos_raw_protocol_alpha.Ticket_amount

Sourcemodule Ticket_balance_key = Tezos_raw_protocol_alpha.Ticket_balance_key

Sourcemodule Ticket_costs = Tezos_raw_protocol_alpha.Ticket_costs

Sourcemodule Ticket_hash_builder = Tezos_raw_protocol_alpha.Ticket_hash_builder

Sourcemodule Ticket_hash_repr = Tezos_raw_protocol_alpha.Ticket_hash_repr

Source

module Ticket_lazy_storage_diff =
  Tezos_raw_protocol_alpha.Ticket_lazy_storage_diff

Sourcemodule Ticket_operations_diff = Tezos_raw_protocol_alpha.Ticket_operations_diff

Sourcemodule Ticket_receipt = Tezos_raw_protocol_alpha.Ticket_receipt

Sourcemodule Ticket_scanner = Tezos_raw_protocol_alpha.Ticket_scanner

Sourcemodule Ticket_storage = Tezos_raw_protocol_alpha.Ticket_storage

Sourcemodule Ticket_token = Tezos_raw_protocol_alpha.Ticket_token

Sourcemodule Ticket_token_map = Tezos_raw_protocol_alpha.Ticket_token_map

Sourcemodule Ticket_token_unparser = Tezos_raw_protocol_alpha.Ticket_token_unparser

Sourcemodule Ticket_transfer = Tezos_raw_protocol_alpha.Ticket_transfer

Sourcemodule Time_repr = Tezos_raw_protocol_alpha.Time_repr

Sourcemodule Token = Tezos_raw_protocol_alpha.Token

Source

module Tx_rollup_commitment_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_commitment_repr

Source

module Tx_rollup_commitment_storage =
  Tezos_raw_protocol_alpha.Tx_rollup_commitment_storage

Sourcemodule Tx_rollup_errors_repr = Tezos_raw_protocol_alpha.Tx_rollup_errors_repr

Sourcemodule Tx_rollup_gas = Tezos_raw_protocol_alpha.Tx_rollup_gas

Sourcemodule Tx_rollup_hash_builder = Tezos_raw_protocol_alpha.Tx_rollup_hash_builder

Sourcemodule Tx_rollup_inbox_repr = Tezos_raw_protocol_alpha.Tx_rollup_inbox_repr

Source

module Tx_rollup_inbox_storage =
  Tezos_raw_protocol_alpha.Tx_rollup_inbox_storage

Sourcemodule Tx_rollup_l2_address = Tezos_raw_protocol_alpha.Tx_rollup_l2_address

Source

module Tx_rollup_l2_context_hash =
  Tezos_raw_protocol_alpha.Tx_rollup_l2_context_hash

Sourcemodule Tx_rollup_l2_proof = Tezos_raw_protocol_alpha.Tx_rollup_l2_proof

Sourcemodule Tx_rollup_l2_qty = Tezos_raw_protocol_alpha.Tx_rollup_l2_qty

Sourcemodule Tx_rollup_level_repr = Tezos_raw_protocol_alpha.Tx_rollup_level_repr

Source

module Tx_rollup_message_hash_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_message_hash_repr

Sourcemodule Tx_rollup_message_repr = Tezos_raw_protocol_alpha.Tx_rollup_message_repr

Source

module Tx_rollup_message_result_hash_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_message_result_hash_repr

Source

module Tx_rollup_message_result_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_message_result_repr

Sourcemodule Tx_rollup_prefixes = Tezos_raw_protocol_alpha.Tx_rollup_prefixes

Sourcemodule Tx_rollup_repr = Tezos_raw_protocol_alpha.Tx_rollup_repr

Sourcemodule Tx_rollup_reveal_repr = Tezos_raw_protocol_alpha.Tx_rollup_reveal_repr

Source

module Tx_rollup_reveal_storage =
  Tezos_raw_protocol_alpha.Tx_rollup_reveal_storage

Sourcemodule Tx_rollup_state_repr = Tezos_raw_protocol_alpha.Tx_rollup_state_repr

Source

module Tx_rollup_state_storage =
  Tezos_raw_protocol_alpha.Tx_rollup_state_storage

Sourcemodule Tx_rollup_storage = Tezos_raw_protocol_alpha.Tx_rollup_storage

Source

module Tx_rollup_withdraw_list_hash_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_withdraw_list_hash_repr

Source

module Tx_rollup_withdraw_repr =
  Tezos_raw_protocol_alpha.Tx_rollup_withdraw_repr

Sourcemodule Validate = Tezos_raw_protocol_alpha.Validate

Sourcemodule Validate_errors = Tezos_raw_protocol_alpha.Validate_errors

Sourcemodule Vote_repr = Tezos_raw_protocol_alpha.Vote_repr

Sourcemodule Vote_storage = Tezos_raw_protocol_alpha.Vote_storage

Sourcemodule Voting_period_repr = Tezos_raw_protocol_alpha.Voting_period_repr

Sourcemodule Voting_period_storage = Tezos_raw_protocol_alpha.Voting_period_storage

Sourcemodule Voting_services = Tezos_raw_protocol_alpha.Voting_services

Sourcemodule Zk_rollup_account_repr = Tezos_raw_protocol_alpha.Zk_rollup_account_repr

Sourcemodule Zk_rollup_apply = Tezos_raw_protocol_alpha.Zk_rollup_apply

Source

module Zk_rollup_circuit_public_inputs_repr =
  Tezos_raw_protocol_alpha.Zk_rollup_circuit_public_inputs_repr

Sourcemodule Zk_rollup_errors = Tezos_raw_protocol_alpha.Zk_rollup_errors

Source

module Zk_rollup_operation_repr =
  Tezos_raw_protocol_alpha.Zk_rollup_operation_repr

Sourcemodule Zk_rollup_parameters = Tezos_raw_protocol_alpha.Zk_rollup_parameters

Sourcemodule Zk_rollup_repr = Tezos_raw_protocol_alpha.Zk_rollup_repr

Sourcemodule Zk_rollup_scalar = Tezos_raw_protocol_alpha.Zk_rollup_scalar

Sourcemodule Zk_rollup_state_repr = Tezos_raw_protocol_alpha.Zk_rollup_state_repr

Sourcemodule Zk_rollup_storage = Tezos_raw_protocol_alpha.Zk_rollup_storage

Sourcemodule Zk_rollup_ticket_repr = Tezos_raw_protocol_alpha.Zk_rollup_ticket_repr

Sourcemodule Zk_rollup_update_repr = Tezos_raw_protocol_alpha.Zk_rollup_update_repr

include module type of struct include Tezos_raw_protocol_alpha.Main end

Source

type operation_data =
  Tezos_raw_protocol_alpha.Alpha_context.packed_protocol_data

Sourcetype operation = Tezos_raw_protocol_alpha.Alpha_context.packed_operation = {

shell : Tezos_protocol_environment_alpha.Operation.shell_header;
protocol_data : operation_data;

}

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

Sourceval max_block_length : int

Sourceval max_operation_data_length : int

Sourceval validation_passes : Tezos_protocol_environment_alpha.Updater.quota list

Source

type block_header_data =
  Tezos_raw_protocol_alpha.Alpha_context.Block_header.protocol_data

Source

val block_header_data_encoding : 
  block_header_data Tezos_protocol_environment_alpha.Data_encoding.t

Sourcetype block_header = Tezos_raw_protocol_alpha.Alpha_context.Block_header.t = {

shell : Tezos_protocol_environment_alpha.Block_header.shell_header;
protocol_data : block_header_data;

}

Source

type block_header_metadata =
  Tezos_raw_protocol_alpha.Apply_results.block_metadata

Source

val block_header_metadata_encoding : 
  block_header_metadata Tezos_protocol_environment_alpha.Data_encoding.t

Source

type operation_receipt =
  Tezos_raw_protocol_alpha.Apply_results.packed_operation_metadata

Source

val operation_data_encoding : 
  operation_data Tezos_protocol_environment_alpha.Data_encoding.t

Source

val operation_receipt_encoding : 
  operation_receipt Tezos_protocol_environment_alpha.Data_encoding.t

Source

val operation_data_and_receipt_encoding : 
  (operation_data * operation_receipt)
    Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval acceptable_pass : operation -> int option

Source

val compare_operations : 
  (Tezos_protocol_environment_alpha.Operation_hash.t * operation) ->
  (Tezos_protocol_environment_alpha.Operation_hash.t * operation) ->
  int

Sourcetype mode = Tezos_raw_protocol_alpha.Main.mode =

| Application of block_header
| Partial_validation of block_header
| Construction of {
1. predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
2. timestamp : Tezos_protocol_environment_alpha.Time.t;
3. block_header_data : block_header_data;
}
| Partial_construction of {
1. predecessor_hash : Tezos_protocol_environment_alpha.Block_hash.t;
2. timestamp : Tezos_protocol_environment_alpha.Time.t;
}

Sourcetype validation_state = Tezos_raw_protocol_alpha.Validate.validation_state

Sourcetype application_state = Tezos_raw_protocol_alpha.Apply.application_state

Source

val begin_validation : 
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  mode ->
  predecessor:Tezos_protocol_environment_alpha.Block_header.shell_header ->
  validation_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val validate_operation : 
  ?check_signature:bool ->
  validation_state ->
  Tezos_protocol_environment_alpha.Operation_hash.t ->
  operation ->
  validation_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val finalize_validation : 
  validation_state ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val begin_application : 
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Chain_id.t ->
  mode ->
  predecessor:Tezos_protocol_environment_alpha.Block_header.shell_header ->
  application_state Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val apply_operation : 
  application_state ->
  Tezos_protocol_environment_alpha.Operation_hash.t ->
  operation ->
  (application_state * operation_receipt)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val finalize_application : 
  application_state ->
  Tezos_protocol_environment_alpha.Block_header.shell_header option ->
  (Tezos_protocol_environment_alpha.Updater.validation_result
   * block_header_metadata)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val rpc_services : 
  Tezos_protocol_environment_alpha.Updater.rpc_context
    Tezos_protocol_environment_alpha.RPC_directory.t

Source

val init : 
  Tezos_protocol_environment_alpha.Chain_id.t ->
  Tezos_protocol_environment_alpha.Context.t ->
  Tezos_protocol_environment_alpha.Block_header.shell_header ->
  Tezos_protocol_environment_alpha.Updater.validation_result
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val value_of_key : 
  chain_id:Tezos_protocol_environment_alpha.Chain_id.t ->
  predecessor_context:Tezos_protocol_environment_alpha.Context.t ->
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor_level:Tezos_protocol_environment_alpha.Int32.t ->
  predecessor_fitness:Tezos_protocol_environment_alpha.Fitness.t ->
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  timestamp:Tezos_protocol_environment_alpha.Time.t ->
  (Tezos_protocol_environment_alpha.Context.Cache.key ->
    Tezos_protocol_environment_alpha.Context.Cache.value
      Tezos_protocol_environment_alpha.Error_monad.tzresult
      Tezos_protocol_environment_alpha.Lwt.t)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sourcemodule Mempool = Tezos_raw_protocol_alpha.Main.Mempool