package tezos-webassembly-interpreter

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-webassembly-interpreter

tezos-webassembly-interpreter
- README
- Library tezos-webassembly-interpreter
  - Tezos_webassembly_interpreter
    
    Ast
    
    TzStdLib
    
    Vector
    
    IntOp
    
    FloatOp
    
    I32Op
    
    I64Op
    
    F32Op
    
    F64Op
    
    V128Op
    
    Binary_exn
    
    Decode_error
    
    Encode_error
    
    Floating_point
    
    Decode
    
    Vector
    
    Durable_storage
    
    Encode
    
    Env
    
    Error
    
    Make
    
    Eval
    
    Eval_num
    
    Eval_vec
    
    F32
    
    F32_convert
    
    F64
    
    F64_convert
    
    Free
    
    Set
    
    Func
    
    Fxx
    
    RepType
    
    S
    
    Make
    
    Global
    
    Host_funcs
    
    I16
    
    I32
    
    I32_convert
    
    I64
    
    I64_convert
    
    I8
    
    Import
    
    Input_buffer
    
    Instance
    
    ModuleMap
    
    Map
    
    Map
    
    Vector
    
    NameMap
    
    Map
    
    Ixx
    
    RepType
    
    S
    
    Make
    
    Lib
    
    Fun
    
    List
    
    List32
    
    Array32
    
    Bigarray
    
    Array1_64
    
    Option
    
    Int
    
    String
    
    Memory
    
    Memory_sig
    
    S
    
    Operators
    
    Output_buffer
    
    Messages
    
    Outboxes
    
    Internal_for_tests
    
    Partial_memory
    
    Partial_table
    
    Vector
    
    Source
    
    Spectest
    
    Table
    
    Vector
    
    Table_sig
    
    S
    
    Vector
    
    Tick_model
    
    Types
    
    Utf8
    
    V128
    
    IntShape
    
    FloatShape
    
    I8x16
    
    I16x8
    
    I32x4
    
    I64x2
    
    F32x4
    
    F64x2
    
    V1x128
    
    V8x16
    
    I8x16_convert
    
    I16x8_convert
    
    I32x4_convert
    
    I64x2_convert
    
    F32x4_convert
    
    F64x2_convert
    
    Valid
    
    Values
    
    NumType
    
    I32Num
    
    I64Num
    
    F32Num
    
    F64Num
    
    VecType
    
    V128Vec
- Sources
  - tezos-webassembly-interpreter
    
    tezos_webassembly_interpreter.ml

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

Module `Tezos_webassembly_interpreter.Valid`

exception Invalid of Source.region * string

val check_module : Ast.module_ -> unit Lwt.t