package tezos-scoru-wasm

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-scoru-wasm

tezos-scoru-wasm
- Tezos_scoru_wasm
  - Binary_parser_encodings
    
    Block
    
    Building_state
    
    Byte_vector
    
    Code
    
    Data
    
    Decode
    
    Elem
    
    Export
    
    Field
    
    Func_type
    
    Import
    
    Instr_block
    
    Lazy_stack
    
    Lazy_vec
    
    Module
    
    Name
    
    Size
  - Builtins
  - Constants
  - Data_encoding_utils
    
    Little_endian
  - Durable
    
    Internal_for_tests
  - Host_funcs
    
    Aux
    
    Make
    
    Memory_access
    
    S
    
    Error
    
    Internal_for_tests
    
    Memory_access
    
    Memory_access_interpreter
    
    Tick_model
  - Init_encodings
  - Interpreter_encodings
    
    Ast
    
    IntOp
    
    V128Op
    
    Source
    
    Types
    
    V128
    
    Values
  - Kont_encodings
  - Pvm_input_kind
    
    Internal_for_tests
  - Wasm_encoding
  - Wasm_pvm
    
    Make
    
    Internal_for_tests
    
    T
    
    Make_pvm
    
    Internal_for_tests
    
    T
    
    Wasm_vm
    
    Internal_for_tests
  - Wasm_pvm_errors
  - Wasm_pvm_sig
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
  - Wasm_pvm_state
    
    Internal_state
  - Wasm_vm
    
    Internal_for_tests
  - Wasm_vm_sig
    
    Generic
    
    Internal_for_tests
    
    Internal_for_tests
    
    S
    
    Internal_for_tests

Legend:
Library
Module
Module type
Parameter
Class
Class type

val pvm_state_encoding : 
  Wasm_pvm_state.Internal_state.pvm_state Tezos_tree_encoding.t

val durable_buffers_encoding : 
  Tezos_webassembly_interpreter.Eval.buffers Tezos_tree_encoding.t

val durable_storage_encoding : Durable.t Tezos_tree_encoding.t

module Make
  (T : Tezos_tree_encoding.TREE) : 
  Wasm_pvm_sig.S with type tree = T.tree

module Make_pvm (Wasm_vm : Wasm_vm_sig.S) : module type of Make