package tezos-tx-rollup-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

tezos-tx-rollup-015-PtLimaPt
- Tezos_tx_rollup_015_PtLimaPt
  - Accuser
  - Batcher
  - Batcher_worker_types
    
    Name
    
    Request
  - Committer
  - Context
    
    Address_index
    
    Address_metadata
    
    Prover_context
    
    Address_index
    
    Address_metadata
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
    
    Syntax
    
    Ticket_index
    
    Ticket_ledger
    
    Internal_for_tests
  - Daemon
  - Debug_events
  - Dispatcher
  - Error
  - Event
    
    Accuser
    
    Batcher
    
    Worker
  - Fancy_l2block
  - Inbox
  - Injector
  - Interpreter
  - L2_apply
    
    Batch_V1
  - L2_transaction
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - L2block
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - Node_config
  - Node_data
  - Prover_apply
  - RPC
    
    Encodings
  - State
    
    Tezos_blocks_cache
  - Stores
    
    Commitment_store
    
    Finalized_level_store
    
    Head_store
    
    INDEXABLE_REMOVABLE_STORE
    
    INDEXABLE_STORE
    
    L2_block_store
    
    Level_store
    
    Rollup_info_store
    
    SINGLETON_STORE
    
    Tezos_block_store
    
    Tezos_head_store
  - Ticket

Legend:
Library
Module
Module type
Parameter
Class
Class type

val commitment_of_inbox : 
  predecessor:L2block.t option ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_level.t ->
  Inbox.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Full.t

Build the commitment for an inbox.

val commit_block : 
  operator:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key_hash ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup.t ->
  L2block.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Commit a block on the L1 chain. This takes the commitment embedded in the block an produces a commitment operation that is queued for injection in the injector.