package tezos-scoru-wasm

You can search for identifiers within the package.

in-package search v0.2.0

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 lookup : 
  Tezos_webassembly_interpreter.Ast.name ->
  Tezos_webassembly_interpreter.Instance.extern

lookup name retrieves or instantiates a host function by the given name. Currently dispatches read_input to read_input using host function global names as registered by register_host_funcs. Used to plug host function wrappers in the WASN interpreter linker.

val lookup_opt : 
  Tezos_webassembly_interpreter.Ast.name ->
  Tezos_webassembly_interpreter.Instance.extern option

lookup_opt name is exactly lookup name but returns an option instead of raising `Not_found`.

val all : Tezos_webassembly_interpreter.Host_funcs.registry

all represents all registered host functions that are important for the SCORU WASM PVM.

val all_debug : 
  write_debug:Builtins.write_debug ->
  Tezos_webassembly_interpreter.Host_funcs.registry

all_debug contains the same functions as all, with the alternative implementation of write_debug.

exception Bad_input

exception Key_too_large of int

A durable key was given by the kernel with a longer-than-allowed length.

module Error : sig ... end

module type Memory_access = sig ... end

module Memory_access_interpreter : 
  Memory_access
    with type t := Tezos_webassembly_interpreter.Instance.memory_inst

module Aux : sig ... end

module Tick_model : sig ... end

Defines the tick consumption of memory access for the host functions.

module Internal_for_tests : sig ... end