Module `Tezos_webassembly_interpreter_extra.Script`Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter-extra/Tezos_webassembly_interpreter_extra/Script/index.html

Module `Tezos_webassembly_interpreter_extra.Script`Source

package octez-l2-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter-extra/Tezos_webassembly_interpreter_extra/Script/index.html

Module Tezos_webassembly_interpreter_extra.ScriptSource

Module `Tezos_webassembly_interpreter_extra.Script`Source