package tezos-scoru-wasm

You can search for identifiers within the package.

in-package search v0.2.0

tezos-scoru-wasm
- README
- Library tezos-scoru-wasm
  - Tezos_scoru_wasm
    
    Binary_parser_encodings
    
    V
    
    M
    
    C
    
    Lazy_vec
    
    Lazy_stack
    
    Byte_vector
    
    Name
    
    Func_type
    
    Import
    
    Export
    
    Size
    
    Instr_block
    
    Block
    
    Code
    
    Elem
    
    Data
    
    Field
    
    Module
    
    Building_state
    
    Decode
    
    Builtins
    
    Constants
    
    Data_encoding_utils
    
    Little_endian
    
    Durable
    
    Internal_for_tests
    
    Host_funcs
    
    Error
    
    Memory_access
    
    Memory_access_interpreter
    
    Aux
    
    S
    
    Make
    
    Tick_model
    
    Internal_for_tests
    
    Init_encodings
    
    Interpreter_encodings
    
    Source
    
    Types
    
    Values
    
    V128
    
    Ast
    
    IntOp
    
    V128Op
    
    Kont_encodings
    
    Pvm_input_kind
    
    Internal_for_tests
    
    Wasm_encoding
    
    Wasm_pvm
    
    Make
    
    Internal_for_tests
    
    Make_pvm
    
    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
    
    Internal_for_tests
    
    Generic
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
- Sources
  - tezos-scoru-wasm
    
    binary_parser_encodings.ml
    
    builtins.ml
    
    constants.ml
    
    data_encoding_utils.ml
    
    durable.ml
    
    host_funcs.ml
    
    init_encodings.ml
    
    interpreter_encodings.ml
    
    kont_encodings.ml
    
    pvm_input_kind.ml
    
    tezos_scoru_wasm.ml
    
    wasm_encoding.ml
    
    wasm_pvm.ml
    
    wasm_pvm_errors.ml
    
    wasm_pvm_sig.ml
    
    wasm_pvm_state.ml
    
    wasm_vm.ml
    
    wasm_vm_sig.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_scoru_wasm.Wasm_pvm`Source

val pvm_state_encoding : 
  Wasm_pvm_state.Internal_state.pvm_state Tezos_tree_encoding.t

Source

val durable_buffers_encoding : 
  Tezos_webassembly_interpreter.Eval.buffers Tezos_tree_encoding.t

Sourceval durable_storage_encoding : Durable.t Tezos_tree_encoding.t

Source

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

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

package tezos-scoru-wasm

Module Tezos_scoru_wasm.Wasm_pvmSource

Module `Tezos_scoru_wasm.Wasm_pvm`Source