package tezos-smart-rollup-layer2-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-smart-rollup-layer2-016-PtMumbai

tezos-smart-rollup-layer2-016-PtMumbai
- Tezos_smart_rollup_layer2_016_PtMumbai
  - L2_message
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - Sc_rollup_block
  - Sc_rollup_context_hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - Sc_rollup_services
    
    Arg
    
    Encodings
    
    Global
    
    Block
    
    Outbox
    
    Helpers
    
    Local
    
    Make_services
    
    P
    
    PREFIX

Legend:
Library
Module
Module type
Parameter
Class
Class type

type eval_result = {

state_hash : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t;
status : string;
output : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.output list;
inbox_level : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Raw_level.t;
num_ticks : Z.t;

}

type simulate_input = {

messages : string list;
reveal_pages : string list option;

}

type inbox_info = {

finalized : bool;
cemented : bool;

}

type commitment_info = {

commitment : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Commitment.t;
commitment_hash : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t;
first_published_at_level : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Raw_level.t;
published_at_level : Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Raw_level.t;

}

type message_status =

| Unknown
| Pending_batch
| Pending_injection of Tezos_injector_016_PtMumbai.L1_operation.t
| Injected of Tezos_injector_016_PtMumbai.Injector_sigs.injected_info
| Included of Tezos_injector_016_PtMumbai.Injector_sigs.included_info * inbox_info
| Committed of Tezos_injector_016_PtMumbai.Injector_sigs.included_info * inbox_info * commitment_info

module Encodings : sig ... end

module Arg : sig ... end

module type PREFIX = sig ... end

module Make_services (P : PREFIX) : sig ... end

type simulate_query = {

fuel : int64 option;

}

val simulate_query : simulate_query Tezos_rpc.Query.t

module Global : sig ... end

module Local : sig ... end