tezos-webassembly-interpreter-extra 16.0

type var = string Tezos_webassembly_interpreter.Source.phrase

type Tezos_webassembly_interpreter.Values.ref_ +=

| ExternRef of int32

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

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

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

type definition = definition' Tezos_webassembly_interpreter.Source.phrase

and definition' =

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

type action = action' Tezos_webassembly_interpreter.Source.phrase

and action' =

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

type nanop = nanop' Tezos_webassembly_interpreter.Source.phrase

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

and nan =

| CanonicalNan
| ArithmeticNan

type num_pat =

| NumPat of num
| NanPat of nanop

type vec_pat =

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

type ref_pat =

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

type result = result' Tezos_webassembly_interpreter.Source.phrase

and result' =

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

type assertion = assertion' Tezos_webassembly_interpreter.Source.phrase

and 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

type command = command' Tezos_webassembly_interpreter.Source.phrase

and command' =

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

and meta = meta' Tezos_webassembly_interpreter.Source.phrase

and meta' =

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

and script = command list

exception Syntax of Tezos_webassembly_interpreter.Source.region * string

package tezos-webassembly-interpreter-extra