package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-016-PtMumbai.embedded-protocol
- Tezos_embedded_protocol_016_PtMumbai
  - Registerer
    
    Registered
    
    Mempool
    
    Source
tezos-protocol-016-PtMumbai.parameters
- Tezos_protocol_016_PtMumbai_parameters
  - Default_parameters
tezos-protocol-016-PtMumbai.protocol
- Tezos_protocol_016_PtMumbai
  - Protocol
tezos-protocol-016-PtMumbai.protocol.environment
- Tezos_protocol_environment_016_PtMumbai
  - Array
    
    Floatarray
  - Base58
  - Bits
  - Blake2B
    
    Make
    
    Map
    
    Name
    
    Register
    
    Set
    
    Make_minimal
    
    Name
    
    Name
    
    PrefixedName
    
    Register
  - Block_hash
    
    Map
    
    Set
  - Block_header
  - Bls
    
    Primitive
    
    Fr
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Bounded
    
    BOUNDS
    
    Int16
    
    B
    
    Int31
    
    B
    
    Int32
    
    B
    
    Int64
    
    B
    
    Int8
    
    B
    
    Non_negative_int32
    
    S
    
    Uint16
    
    B
    
    Uint8
    
    B
  - Bytes
  - CamlinternalFormatBasics
  - Chain_id
    
    Map
    
    Set
  - Char
  - Compare
    
    Bool
    
    Bytes
    
    COMPARABLE
    
    Char
    
    Int
    
    Int32
    
    Int64
    
    List
    
    P
    
    List_length_with
    
    List_lengths
    
    Make
    
    P
    
    Option
    
    P
    
    Q
    
    Result
    
    Error
    
    Ok
    
    S
    
    String
    
    Uint32
    
    Uint64
    
    Z
  - Context
    
    CACHE
    
    Cache
    
    Kind
    
    PROOF_ENCODING
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Proof_encoding
    
    V1
    
    Tree2
    
    Tree32
    
    V2
    
    Tree2
    
    Tree32
    
    TREE
    
    Tree
    
    VIEW
  - Context_hash
    
    Map
    
    Set
    
    Version
  - Dal
    
    Commitment
    
    Commitment_proof
  - Data_encoding
    
    Binary
    
    Bounded
    
    Compact
    
    Custom
    
    S
    
    Fixed
    
    Json
    
    Variable
    
    With_JSON_discriminant
    
    With_field_name_duplicate_checks
  - Ed25519
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Either
  - Equality_witness
  - Error_monad
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
  - FallbackArray
  - Fitness
  - Format
  - Hex
  - Int32
  - Int64
  - Lift
    
    Mempool
    
    P
    
    Mempool
  - List
  - Logging
  - Lwt
  - Map
    
    Make
    
    Ord
    
    S
  - Micheline
  - Name
  - Operation
  - Operation_hash
    
    Map
    
    Set
  - Operation_list_hash
    
    Map
    
    Set
  - Operation_list_list_hash
    
    Map
    
    Set
  - Option
  - P256
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Pervasives
  - Plonk
  - Protocol_hash
    
    Map
    
    Set
  - Q
  - RPC_answer
  - RPC_arg
  - RPC_context
    
    simple
  - RPC_directory
  - RPC_path
  - RPC_query
  - RPC_service
  - Raw_hashes
  - Result
  - S
    
    AGGREGATE_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    B58_DATA
    
    CURVE
    
    Scalar
    
    ENCODER
    
    FIELD
    
    HASH
    
    Map
    
    Set
    
    HASHABLE
    
    INDEXES
    
    Map
    
    Set
    
    INDEXES_MAP
    
    INDEXES_SET
    
    MERKLE_TREE
    
    Map
    
    Set
    
    MINIMAL_HASH
    
    PRIME_FIELD
    
    RAW_DATA
    
    SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    SIGNATURE_PUBLIC_KEY
    
    SIGNATURE_PUBLIC_KEY_HASH
    
    Map
    
    Set
    
    SPLIT_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    T
  - Sapling
    
    CV
    
    Ciphertext
    
    Commitment
    
    Hash
    
    Nullifier
    
    UTXO
    
    Legacy
    
    Verification
  - Secp256k1
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Seq
  - Set
    
    Make
    
    Ord
    
    S
  - Signature
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - String
  - Time
  - Timelock
  - TzEndian
  - Updater
    
    PROTOCOL
    
    Mempool
  - Vdf
  - Wasm_2_0_0
    
    Make
    
    Tree
  - Z
  - proto_rpc_context
  - proto_rpc_context_of_directory
tezos-protocol-016-PtMumbai.protocol.lifted
- Tezos_protocol_016_PtMumbai_lifted
  - Lifted_protocol
    
    Mempool
tezos-protocol-016-PtMumbai.protocol.raw
- Tezos_raw_protocol_016_PtMumbai
  - Alpha_context
    
    BASIC_DATA
    
    Big_map
    
    Id
    
    Block_header
    
    Proof_of_work
    
    Block_payload
    
    Bond_id
    
    Internal_for_tests
    
    Bootstrap
    
    Cache
    
    Admin
    
    CLIENT
    
    INTERFACE
    
    Commitment
    
    Consensus
    
    Consensus_key
    
    Constants
    
    Generated
    
    Parametric
    
    Contract
    
    Delegate
    
    Internal_for_tests
    
    Legacy_big_map_diff
    
    Cycle
    
    Map
    
    Dal
    
    Attestation
    
    Shard_map
    
    Page
    
    Index
    
    Slot
    
    Commitment
    
    Commitment_proof
    
    Header
    
    Slot_index
    
    Slots_history
    
    History_cache
    
    Internal_for_tests
    
    Pointer_hash
    
    Map
    
    Set
    
    Slots_storage
    
    Dal_errors
    
    Delegate
    
    Consensus_key
    
    Destination
    
    Entrypoint
    
    Map
    
    Set
    
    Fees
    
    First_level_of_protocol
    
    Fitness
    
    Gas
    
    Arith
    
    Global_constants_storage
    
    Internal_for_tests
    
    Internal_for_tests
    
    Kind
    
    Lazy_storage
    
    IdSet
    
    Kind
    
    Level
    
    Liquidity_baking
    
    Toggle_EMA
    
    Manager_counter
    
    Internal_for_injection
    
    Internal_for_tests
    
    Migration
    
    Nonce
    
    Operation
    
    Encoding
    
    Manager_operations
    
    Origination_nonce
    
    Internal_for_tests
    
    Parameters
    
    Period
    
    Ratio
    
    Raw_level
    
    Internal_for_tests
    
    Map
    
    Set
    
    Receipt
    
    Round
    
    Durations
    
    Map
    
    Sapling
    
    Id
    
    Legacy
    
    Memo_size
    
    Sc_rollup
    
    ArithPVM
    
    Make
    
    C
    
    Tree
    
    Internal_for_tests
    
    P
    
    Tree
    
    Protocol_implementation
    
    Internal_for_tests
    
    Commitment
    
    Hash
    
    Map
    
    Set
    
    Dissection_chunk
    
    Errors
    
    Game
    
    Index
    
    Internal_for_tests
    
    Inbox
    
    Hash
    
    Map
    
    Set
    
    History
    
    Internal_for_tests
    
    Internal_for_tests
    
    Skip_list
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    Inbox_merkelized_payload_hashes
    
    Hash
    
    Map
    
    Set
    
    History
    
    Internal_for_tests
    
    Internal_for_tests
    
    Inbox_message
    
    Hash
    
    Map
    
    Set
    
    Input_hash
    
    Map
    
    Set
    
    Internal_for_tests
    
    Kind
    
    Metadata
    
    Number_of_ticks
    
    Outbox
    
    Message
    
    PVM
    
    S
    
    Internal_for_tests
    
    Proof
    
    PVM_with_context_and_state
    
    Dal_with_history
    
    Inbox_with_history
    
    Internal_for_tests
    
    Refutation_storage
    
    Internal_for_tests
    
    Stake_storage
    
    Staker
    
    Index
    
    Map
    
    Set
    
    State_hash
    
    Map
    
    Set
    
    Tick
    
    Map
    
    Wasm_2_0_0PVM
    
    Make
    
    C
    
    Tree
    
    Internal_for_tests
    
    Make_wasm
    
    Tree
    
    P
    
    Tree
    
    Protocol_implementation
    
    Internal_for_tests
    
    Sc_rollup_repr
    
    Address
    
    Map
    
    Set
    
    Script
    
    Seed
    
    Slot
    
    Internal_for_tests
    
    Map
    
    Range
    
    Set
    
    Stake_distribution
    
    Tez
    
    Ticket_balance
    
    Internal_for_tests
    
    Ticket_hash
    
    Internal_for_tests
    
    Timestamp
    
    Token
    
    Tx_rollup
    
    Internal_for_tests
    
    Set
    
    Tx_rollup_commitment
    
    Compact
    
    Full
    
    Merkle
    
    Merkle_hash
    
    Map
    
    Set
    
    Submitted_commitment
    
    Tx_rollup_commitment_hash
    
    Map
    
    Set
    
    Tx_rollup_errors
    
    Tx_rollup_hash
    
    Tx_rollup_inbox
    
    Merkle
    
    Tx_rollup_level
    
    Tx_rollup_message
    
    Tx_rollup_message_hash
    
    Map
    
    Set
    
    Tx_rollup_message_result
    
    Tx_rollup_message_result_hash
    
    Map
    
    Set
    
    Tx_rollup_reveal
    
    Tx_rollup_state
    
    Internal_for_tests
    
    Tx_rollup_withdraw
    
    Tx_rollup_withdraw_list_hash
    
    Map
    
    Set
    
    Vote
    
    Voting_period
    
    Testnet_dictator
    
    Zk_rollup
    
    Account
    
    SMap
    
    Address
    
    Map
    
    Set
    
    Circuit_public_inputs
    
    Errors
    
    Internal_for_tests
    
    Operation
    
    State
    
    Ticket
    
    Update
  - Alpha_services
    
    Cache
    
    Liquidity_baking
    
    Nonce
    
    Seed
    
    Seed_computation
    
    Snapshot_index
  - Amendment
  - Apply
  - Apply_internal_results
  - Apply_operation_result
  - Apply_results
  - Baking
  - Bitset
    
    Internal_for_tests
  - Blinded_public_key_hash
    
    Index
    
    Map
    
    Set
  - Block_header_repr
    
    Proof_of_work
  - Block_payload_hash
    
    Map
    
    Set
  - Block_payload_repr
  - Bond_id_repr
    
    Index
    
    Internal_for_test
  - Bootstrap_storage
  - Bounded_history_repr
    
    KEY
    
    Make
    
    Internal_for_tests
    
    Key
    
    Name
    
    Value
    
    NAME
    
    S
    
    Internal_for_tests
    
    VALUE
  - Cache_memory_helpers
    
    Nodes
    
    SNodes
  - Cache_repr
    
    Admin
    
    CLIENT
    
    INTERFACE
  - Carbonated_map
    
    COMPARABLE
    
    GAS
    
    Make
    
    C
    
    G
    
    Make_builder
    
    C
    
    Make
    
    G
    
    S
  - Carbonated_map_costs
  - Commitment_repr
  - Commitment_storage
  - Constants_parametric_previous_repr
  - Constants_parametric_repr
  - Constants_repr
    
    Generated
  - Constants_services
  - Constants_storage
  - Context_binary_proof
  - Contract_delegate_storage
  - Contract_hash
    
    Map
    
    Set
  - Contract_manager_storage
  - Contract_repr
    
    Index
  - Contract_services
  - Contract_storage
    
    Legacy_big_map_diff
  - Cycle_repr
    
    Index
    
    Map
  - Dal_apply
  - Dal_attestation_repr
    
    Accountability
    
    Shard_map
  - Dal_errors_repr
  - Dal_services
  - Dal_slot_repr
    
    Commitment
    
    Commitment_proof
    
    Header
    
    History
    
    History_cache
    
    Internal_for_tests
    
    Internal_for_tests
    
    Pointer_hash
    
    Map
    
    Set
    
    Index
    
    Page
    
    Index
    
    Slot_market
  - Dal_slot_storage
  - Delegate_activation_storage
  - Delegate_consensus_key
  - Delegate_cycles
  - Delegate_missed_endorsements_storage
  - Delegate_sampler
  - Delegate_services
  - Delegate_slashed_deposits_storage
  - Delegate_storage
    
    Contract
  - Dependent_bool
  - Destination_repr
  - Destination_storage
  - Entrypoint_repr
    
    Map
    
    Set
  - Fees_storage
  - Fitness_repr
  - Fixed_point_repr
    
    Full
    
    Safe
  - Frozen_deposits_storage
  - Gas_comparable_input_size
  - Gas_input_size
  - Gas_limit_repr
    
    Arith
  - Gas_monad
    
    Syntax
  - Global_constants_costs
  - Global_constants_storage
    
    Internal_for_tests
  - Indexable
    
    Make
    
    V
    
    VALUE
  - Init_storage
  - Lazy_storage_diff
  - Lazy_storage_kind
    
    Big_map
    
    Id
    
    ID
    
    IdSet
    
    Sapling_state
    
    Id
    
    Temp_ids
  - Legacy_script_patches
  - Level_repr
    
    Internal_for_tests
  - Level_storage
  - Liquidity_baking_cpmm
  - Liquidity_baking_lqt
  - Liquidity_baking_migration
  - Liquidity_baking_repr
    
    Toggle_EMA
  - Liquidity_baking_storage
  - Local_gas_counter
  - Main
    
    Mempool
  - Manager_counter_repr
    
    Internal_for_injection
    
    Internal_for_tests
  - Manager_repr
  - Mempool_validation
  - Merkle_list
    
    Make
    
    El
    
    H
    
    Map
    
    Set
    
    T
  - Michelson_v1_gas
    
    Cost_of
    
    Interpreter
    
    Control
    
    Typechecking
    
    Unparsing
    
    Internal_for_tests
  - Michelson_v1_gas_costs
  - Michelson_v1_gas_costs_generated
  - Michelson_v1_primitives
  - Migration_repr
  - Misc
    
    Public_key_map
  - Non_empty_string
  - Nonce_hash
    
    Map
    
    Set
  - Nonce_storage
  - Operation_repr
    
    Encoding
    
    Manager_operations
    
    Kind
  - Origination_nonce
  - Parameters_repr
  - Path_encoding
    
    ENCODING
    
    Make_hex
    
    H
    
    S
  - Period_repr
  - Ratio_repr
  - Raw_context
    
    CONSENSUS
    
    Cache
    
    Consensus
    
    Dal
    
    Internal_for_tests
    
    Local_context
    
    Proof
    
    Stream
    
    Sc_rollup_in_memory_inbox
    
    T
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    Tree
    
    Tx_rollup
  - Raw_context_intf
    
    Kind
    
    PROOF
    
    Stream
    
    T
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    TREE
    
    VIEW
  - Raw_level_repr
    
    Index
    
    Map
    
    Set
  - Receipt_repr
  - Round_repr
    
    Durations
    
    Internals_for_test
    
    Map
  - Sampler
    
    S
  - Sapling_repr
    
    Memo_size
  - Sapling_services
    
    S
    
    Args
  - Sapling_storage
    
    COMMITMENTS
    
    Ciphertexts
    
    Commitments
    
    Nullifiers
    
    Roots
  - Sapling_validator
  - Saturation_repr
    
    Syntax
  - Sc_rollup_PVM_sig
    
    Input_hash
    
    Map
    
    Set
    
    S
    
    Internal_for_tests
  - Sc_rollup_arith
    
    Make
    
    Context
    
    Tree
    
    Internal_for_tests
    
    P
    
    Tree
    
    Protocol_implementation
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
  - Sc_rollup_commitment_repr
    
    Hash
    
    Map
    
    Set
    
    V1
  - Sc_rollup_commitment_storage
    
    Internal_for_tests
  - Sc_rollup_costs
    
    Constants
  - Sc_rollup_data_version_sig
    
    S
  - Sc_rollup_dissection_chunk_repr
  - Sc_rollup_errors
  - Sc_rollup_game_repr
    
    Index
    
    Internal_for_tests
    
    V1
  - Sc_rollup_inbox_merkelized_payload_hashes_repr
    
    Hash
    
    Map
    
    Set
    
    History
    
    Internal_for_tests
    
    Internal_for_tests
  - Sc_rollup_inbox_message_repr
    
    Hash
    
    Map
    
    Set
  - Sc_rollup_inbox_repr
    
    Hash
    
    Map
    
    Set
    
    History
    
    Internal_for_tests
    
    Internal_for_tests
    
    Skip_list
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    V1
    
    History
    
    Internal_for_tests
  - Sc_rollup_inbox_storage
  - Sc_rollup_management_protocol
    
    Internal_for_tests
  - Sc_rollup_metadata_repr
  - Sc_rollup_operations
    
    Internal_for_tests
  - Sc_rollup_outbox_message_repr
  - Sc_rollup_outbox_storage
  - Sc_rollup_proof_repr
    
    PVM_with_context_and_state
    
    Dal_with_history
    
    Inbox_with_history
    
    Internal_for_tests
  - Sc_rollup_refutation_storage
  - Sc_rollup_repr
    
    Address
    
    Map
    
    Set
    
    Index
    
    Internal_for_tests
    
    Number_of_ticks
    
    Staker
    
    Map
    
    Set
    
    State_hash
    
    Map
    
    Set
  - Sc_rollup_reveal_hash
    
    Map
  - Sc_rollup_stake_storage
  - Sc_rollup_staker_index_repr
    
    Index
    
    Internal_for_tests
  - Sc_rollup_staker_index_storage
  - Sc_rollup_storage
  - Sc_rollup_tick_repr
    
    Map
  - Sc_rollup_wasm
    
    V2_0_0
    
    Make
    
    Context
    
    Tree
    
    Internal_for_tests
    
    Make_wasm
    
    Tree
    
    P
    
    Tree
    
    Protocol_implementation
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
  - Sc_rollups
    
    Kind
    
    PVM
    
    S
    
    Internal_for_tests
  - Script_big_map
  - Script_bytes
    
    Conversion_BE
  - Script_cache
  - Script_comparable
  - Script_expr_hash
    
    Map
    
    Set
  - Script_int
  - Script_interpreter
    
    Internals
    
    Raw
  - Script_interpreter_defs
  - Script_ir_annot
  - Script_ir_translator
    
    Internal_for_benchmarking
  - Script_ir_translator_config
  - Script_ir_unparser
    
    Data_unparser
    
    Internal_for_benchmarking
    
    P
    
    MICHELSON_PARSER
  - Script_list
  - Script_map
  - Script_repr
    
    Micheline_size
  - Script_set
  - Script_string
  - Script_tc_context
  - Script_tc_errors
  - Script_tc_errors_registration
  - Script_timestamp
  - Script_typed_ir
    
    Big_map_overlay
    
    Boxed_map
    
    OPS
    
    Boxed_map_OPS
    
    Boxed_set
    
    OPS
    
    Boxed_set_OPS
    
    Script_bls
    
    Fr
    
    G1
    
    G2
    
    S
    
    Script_chain_id
    
    Script_signature
    
    Script_timelock
    
    Type_size
    
    Typed_contract
    
    Internal_for_tests
  - Script_typed_ir_size
  - Script_typed_ir_size_costs
  - Seed_repr
  - Seed_storage
  - Services_registration
  - Skip_list_costs
  - Skip_list_repr
    
    MONAD
    
    Make
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    _
    
    S
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
  - Slot_repr
    
    Internal_for_tests
    
    Map
    
    Range
    
    Set
  - Stake_storage
  - State_hash
    
    Map
    
    Set
  - Storage
    
    Big_map
    
    Contents
    
    Key_type
    
    Next
    
    Total_bytes
    
    Local
    
    Value_type
    
    Block_round
    
    Commitments
    
    Consensus_keys
    
    Contract
    
    Code
    
    Consensus_key
    
    Counter
    
    Local
    
    Delegate
    
    Delegate_last_cycle_before_deactivation
    
    Delegated
    
    Frozen_bonds
    
    Frozen_deposits
    
    Frozen_deposits_limit
    
    Global_counter
    
    Inactive_delegate
    
    Manager
    
    Local
    
    Missed_endorsements
    
    Paid_storage_space
    
    Pending_consensus_keys
    
    Spendable_balance
    
    Local
    
    Storage
    
    Total_frozen_bonds
    
    Used_storage_space
    
    Dal
    
    Slot
    
    Headers
    
    History
    
    Delegate_sampler_state
    
    Delegates
    
    FOR_CYCLE
    
    Global_constants
    
    Map
    
    Liquidity_baking
    
    Cpmm_address
    
    Toggle_ema
    
    Pending_migration
    
    Balance_updates
    
    Operation_results
    
    Ramp_up
    
    Rewards
    
    Sapling
    
    Ciphertexts
    
    Commitments
    
    Commitments_size
    
    Memo_size
    
    Next
    
    Nullifiers_hashed
    
    Nullifiers_ordered
    
    Nullifiers_size
    
    Roots
    
    Roots_level
    
    Roots_pos
    
    Total_bytes
    
    Sc_rollup
    
    Applied_outbox_messages
    
    Commitment_added
    
    Commitment_first_publication_level
    
    Commitment_stakers
    
    Commitments
    
    Commitments_per_inbox_level
    
    Game
    
    Game_info
    
    Game_timeout
    
    Genesis_info
    
    Inbox
    
    Last_cemented_commitment
    
    PVM_kind
    
    Parameters_type
    
    Staker_index
    
    Staker_index_counter
    
    Stakers
    
    Seed
    
    For_cycle
    
    Nonce
    
    VDF_setup
    
    Seed_status
    
    Simple_single_data_storage
    
    Slashed_deposits
    
    Stake
    
    Active_delegates_with_minimal_stake
    
    Snapshot
    
    Last_snapshot
    
    Selected_distribution_for_cycle
    
    Staking_balance
    
    Snapshot
    
    Total_active_stake
    
    Tenderbake
    
    Endorsement_branch
    
    First_level_of_protocol
    
    Grand_parent_branch
    
    Ticket_balance
    
    Paid_storage_space
    
    Table
    
    Used_storage_space
    
    Tx_rollup
    
    Commitment
    
    Commitment_bond
    
    Inbox
    
    Revealed_withdrawals
    
    State
    
    Vote
    
    Ballots
    
    Current_period
    
    Current_proposal
    
    Listings
    
    Participation_ema
    
    Pred_period_kind
    
    Proposals
    
    Proposals_count
    
    Voting_power_in_listings
    
    Zk_rollup
    
    Account
    
    Pending_list
    
    Pending_operation
  - Storage_costs
  - Storage_description
    
    INDEX
  - Storage_functors
    
    Ghost
    
    INDEX
    
    Make_carbonated_data_set_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    Make_data_set_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    Make_indexed_carbonated_data_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    V
    
    Make_indexed_data_snapshotable_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    Snapshot
    
    V
    
    Make_indexed_data_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    V
    
    Make_indexed_subcontext
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    I
    
    Make_carbonated_map
    
    V
    
    _
    
    Make_map
    
    Local
    
    V
    
    _
    
    Make_set
    
    _
    
    Raw_context
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    Make_single_data_storage
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    V
    
    _
    
    Make_subcontext
    
    C
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    _
    
    Pair
    
    I1
    
    I2
    
    Registered
    
    WRAPPER
    
    Wrap_indexed_data_storage
    
    C
    
    K
  - Storage_sigs
    
    Carbonated_data_set_storage
    
    Data_set_storage
    
    Indexed_carbonated_data_storage
    
    Indexed_carbonated_data_storage_INTERNAL
    
    Indexed_data_snapshotable_storage
    
    Snapshot
    
    Indexed_data_storage
    
    Indexed_data_storage_with_local_context
    
    Local
    
    Indexed_raw_context
    
    Make_carbonated_map
    
    V
    
    _
    
    Make_map
    
    Local
    
    V
    
    _
    
    Make_set
    
    _
    
    Raw_context
    
    Local_context
    
    Proof
    
    Stream
    
    Tree
    
    NAME
    
    Non_iterable_indexed_carbonated_data_storage
    
    Non_iterable_indexed_data_storage
    
    REGISTER
    
    Single_data_storage
    
    VALUE
  - Tez_repr
  - Ticket_accounting
  - Ticket_amount
  - Ticket_balance_key
  - Ticket_costs
    
    Constants
  - Ticket_hash_builder
    
    Internal_for_tests
  - Ticket_hash_repr
    
    Index
  - Ticket_lazy_storage_diff
  - Ticket_operations_diff
  - Ticket_receipt
  - Ticket_scanner
  - Ticket_storage
    
    Internal_for_tests
  - Ticket_token
  - Ticket_token_map
  - Ticket_token_unparser
  - Ticket_transfer
  - Time_repr
  - Token
  - Tx_rollup_commitment_repr
    
    Compact
    
    Full
    
    Hash
    
    Map
    
    Set
    
    Index
    
    Merkle
    
    Merkle_hash
    
    Map
    
    Set
    
    Submitted_commitment
  - Tx_rollup_commitment_storage
  - Tx_rollup_errors_repr
  - Tx_rollup_gas
  - Tx_rollup_hash_builder
  - Tx_rollup_inbox_repr
    
    Merkle
  - Tx_rollup_inbox_storage
  - Tx_rollup_l2_address
    
    Indexable
    
    Map
    
    Set
  - Tx_rollup_l2_apply
    
    Make
    
    Batch_V1
    
    Context
    
    Address_index
    
    Address_metadata
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
    
    Message_result
    
    Batch_V1
  - Tx_rollup_l2_batch
    
    Signer_indexable
    
    V1
  - Tx_rollup_l2_context
    
    Make
    
    Address_index
    
    Address_metadata
    
    S
    
    Syntax
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
  - Tx_rollup_l2_context_hash
    
    Map
    
    Set
  - Tx_rollup_l2_context_sig
    
    CONTEXT
    
    Address_index
    
    Address_metadata
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
    
    Ticket_indexable
  - Tx_rollup_l2_proof
    
    Internal_for_tests
  - Tx_rollup_l2_qty
  - Tx_rollup_l2_storage_sig
    
    STORAGE
    
    Syntax
  - Tx_rollup_l2_verifier
    
    Verifier_context
    
    Address_index
    
    Address_metadata
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
    
    Verifier_storage
    
    Syntax
  - Tx_rollup_level_repr
    
    Index
  - Tx_rollup_message_hash_repr
    
    Map
    
    Set
  - Tx_rollup_message_repr
  - Tx_rollup_message_result_hash_repr
    
    Map
    
    Set
  - Tx_rollup_message_result_repr
  - Tx_rollup_parameters
  - Tx_rollup_prefixes
  - Tx_rollup_repr
    
    Hash
    
    Map
    
    Set
    
    Index
    
    Map
    
    Set
  - Tx_rollup_reveal_repr
  - Tx_rollup_reveal_storage
  - Tx_rollup_services
  - Tx_rollup_state_repr
    
    Internal_for_tests
  - Tx_rollup_state_storage
  - Tx_rollup_storage
  - Tx_rollup_withdraw_list_hash_repr
    
    Map
    
    Set
  - Tx_rollup_withdraw_repr
  - Validate
  - Validate_errors
    
    Anonymous
    
    Block
    
    Consensus
    
    Manager
    
    Voting
  - Vote_repr
  - Vote_storage
  - Voting_period_repr
  - Voting_period_storage
    
    Testnet_dictator
  - Voting_services
  - Zk_rollup_account_repr
    
    SMap
  - Zk_rollup_apply
  - Zk_rollup_circuit_public_inputs_repr
  - Zk_rollup_errors
  - Zk_rollup_operation_repr
  - Zk_rollup_parameters
  - Zk_rollup_repr
    
    Address
    
    Map
    
    Set
    
    Index
    
    Internal_for_tests
  - Zk_rollup_scalar
  - Zk_rollup_state_repr
  - Zk_rollup_storage
  - Zk_rollup_ticket_repr
  - Zk_rollup_update_repr

Legend:
Library
Module
Module type
Parameter
Class
Class type

Internally, the interpretation loop uses a local gas counter.

val next : 
  Script_typed_ir.logger option ->
  (Local_gas_counter.outdated_context * step_constants) ->
  Local_gas_counter.local_gas_counter ->
  ('a, 's) Script_typed_ir.stack_ty ->
  ('a, 's, 'r, 'f) Script_typed_ir.continuation ->
  'a ->
  's ->
  ('r
   * 'f
   * Local_gas_counter.outdated_context
   * Local_gas_counter.local_gas_counter)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

next logger (ctxt, step_constants) local_gas_counter ks accu stack is an internal function which interprets the continuation ks to execute the interpreter on the current A-stack.

val step : 
  (Local_gas_counter.outdated_context * step_constants) ->
  Local_gas_counter.local_gas_counter ->
  ('a, 's, 'r, 'f) Script_typed_ir.kinstr ->
  'a ->
  's ->
  ('r
   * 'f
   * Local_gas_counter.outdated_context
   * Local_gas_counter.local_gas_counter)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

val step_descr : 
  Script_typed_ir.logger option ->
  Alpha_context.context ->
  Script_typed_ir.step_constants ->
  ('a, 's, 'r, 'f) Script_typed_ir.kdescr ->
  'a ->
  's ->
  ('r * 'f * Alpha_context.context)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

val kstep : 
  Script_typed_ir.logger option ->
  Alpha_context.context ->
  step_constants ->
  ('a, 's) Script_typed_ir.stack_ty ->
  ('a, 's, 'r, 'f) Script_typed_ir.kinstr ->
  'a ->
  's ->
  ('r * 'f * Alpha_context.context)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

kstep logger ctxt step_constants kinstr accu stack interprets the script represented by kinstr under the context ctxt. This will turn a stack whose topmost element is accu and remaining elements stack into a new accumulator and a new stack. This function also returns an updated context. If logger is given, kstep calls back its functions at specific points of the execution. The execution is parameterized by some step_constants.

module Raw : sig ... end