Script (p.octez-l2-libs.18.1.doc.octez-l2-libs.webassembly-interpreter-extra.Tezos_webassembly_interpreter

Octez-l2-libs: octez layer2 libraries
- README
- Library octez-l2-libs.layer2_store
  - Tezos_layer2_store
- Library octez-l2-libs.scoru-wasm
  - Tezos_scoru_wasm
- Library octez-l2-libs.scoru-wasm-fast
  - Tezos_scoru_wasm_fast
- Library octez-l2-libs.scoru-wasm-helpers
  - Tezos_scoru_wasm_helpers
- Library octez-l2-libs.scoru_wasm_durable_snapshot
  - Tezos_scoru_wasm_durable_snapshot
- Library octez-l2-libs.scoru_wasm_test_helpers
  - Tezos_scoru_wasm_test_helpers
- Library octez-l2-libs.smart-rollup
  - Octez_smart_rollup
- Library octez-l2-libs.smart_rollup_wasm_benchmark_lib
  - Octez_smart_rollup_wasm_benchmark_lib
- Library octez-l2-libs.wasmer
  - Tezos_wasmer
- Library octez-l2-libs.webassembly-interpreter
  - Tezos_webassembly_interpreter
- Library octez-l2-libs.webassembly-interpreter-extra
  - Tezos_webassembly_interpreter_extra
- Sources

Sourcetype var = string Tezos_webassembly_interpreter.Source.phrase

Sourcetype Tezos_webassembly_interpreter.Values.ref_ +=

| ExternRef of int32

type num =
  Tezos_webassembly_interpreter.Values.num
    Tezos_webassembly_interpreter.Source.phrase

Source

type ref_ =
  Tezos_webassembly_interpreter.Values.ref_
    Tezos_webassembly_interpreter.Source.phrase

Source

type literal =
  Tezos_webassembly_interpreter.Values.value
    Tezos_webassembly_interpreter.Source.phrase

Sourcetype definition = definition' Tezos_webassembly_interpreter.Source.phrase

Sourceand definition' =

| Textual of Tezos_webassembly_interpreter.Ast.module_
| Encoded of string * string
| Quoted of string * string

Sourcetype action = action' Tezos_webassembly_interpreter.Source.phrase

Sourceand action' =

| Invoke of var option * Tezos_webassembly_interpreter.Ast.name * literal list
| Get of var option * Tezos_webassembly_interpreter.Ast.name

Sourcetype nanop = nanop' Tezos_webassembly_interpreter.Source.phrase

Source

and nanop' =
  (Tezos_webassembly_interpreter.Lib.void,
    Tezos_webassembly_interpreter.Lib.void,
    nan,
    nan)
    Tezos_webassembly_interpreter.Values.op

Sourceand nan =

| CanonicalNan
| ArithmeticNan

Sourcetype num_pat =

| NumPat of num
| NanPat of nanop

Sourcetype vec_pat =

| VecPat of (Tezos_webassembly_interpreter.V128.shape * num_pat list) Tezos_webassembly_interpreter.Values.vecop

Sourcetype ref_pat =

| RefPat of ref_
| RefTypePat of Tezos_webassembly_interpreter.Types.ref_type

Sourcetype result = result' Tezos_webassembly_interpreter.Source.phrase

Sourceand result' =

| NumResult of num_pat
| VecResult of vec_pat
| RefResult of ref_pat

Sourcetype assertion = assertion' Tezos_webassembly_interpreter.Source.phrase

Sourceand assertion' =

| AssertMalformed of definition * string
| AssertInvalid of definition * string
| AssertUnlinkable of definition * string
| AssertUninstantiable of definition * string
| AssertReturn of action * result list
| AssertTrap of action * string
| AssertExhaustion of action * string

Sourcetype command = command' Tezos_webassembly_interpreter.Source.phrase

Sourceand command' =

| Module of var option * definition
| Register of Tezos_webassembly_interpreter.Ast.name * var option
| Action of action
| Assertion of assertion
| Meta of meta

Sourceand meta = meta' Tezos_webassembly_interpreter.Source.phrase

Sourceand meta' =

| Input of var option * string
| Output of var option * string option
| Script of var option * script

Sourceand script = command list

Sourceexception Syntax of Tezos_webassembly_interpreter.Source.region * string