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

lookup ~version name retrieves or instantiates a host function by the given name.

Used to plug host function wrappers in the WASN interpreter linker.

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

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

val registry : 
  version:Wasm_pvm_state.version ->
  write_debug:Builtins.write_debug ->
  Tezos_webassembly_interpreter.Host_funcs.registry

registry ~version ~write_debug returns the host functions registry for the expected PVM version, and with the expected implementation for the write_debug function.

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