tezos-webassembly-interpreter-extra 16.0

type token =

| LPAR
| RPAR
| NAT of string
| INT of string
| FLOAT of string
| STRING of string
| VAR of string
| NUM_TYPE of Tezos_webassembly_interpreter.Types.num_type
| VEC_TYPE of Tezos_webassembly_interpreter.Types.vec_type
| VEC_SHAPE of Tezos_webassembly_interpreter.V128.shape
| FUNCREF
| EXTERNREF
| EXTERN
| MUT
| UNREACHABLE
| NOP
| DROP
| SELECT
| BLOCK
| END
| IF
| THEN
| ELSE
| LOOP
| BR
| BR_IF
| BR_TABLE
| CALL
| CALL_INDIRECT
| RETURN
| LOCAL_GET
| LOCAL_SET
| LOCAL_TEE
| GLOBAL_GET
| GLOBAL_SET
| TABLE_GET
| TABLE_SET
| TABLE_SIZE
| TABLE_GROW
| TABLE_FILL
| TABLE_COPY
| TABLE_INIT
| ELEM_DROP
| MEMORY_SIZE
| MEMORY_GROW
| MEMORY_FILL
| MEMORY_COPY
| MEMORY_INIT
| DATA_DROP
| LOAD of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
| STORE of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
| OFFSET_EQ_NAT of string
| ALIGN_EQ_NAT of string
| CONST of string Tezos_webassembly_interpreter.Source.phrase -> Tezos_webassembly_interpreter.Ast.instr' * Tezos_webassembly_interpreter.Values.num
| UNARY of Tezos_webassembly_interpreter.Ast.instr'
| BINARY of Tezos_webassembly_interpreter.Ast.instr'
| TEST of Tezos_webassembly_interpreter.Ast.instr'
| COMPARE of Tezos_webassembly_interpreter.Ast.instr'
| CONVERT of Tezos_webassembly_interpreter.Ast.instr'
| REF_NULL
| REF_FUNC
| REF_EXTERN
| REF_IS_NULL
| VEC_LOAD of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
| VEC_STORE of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
| VEC_LOAD_LANE of int option -> Tezos_webassembly_interpreter.Memory.offset -> int -> Tezos_webassembly_interpreter.Ast.instr'
| VEC_STORE_LANE of int option -> Tezos_webassembly_interpreter.Memory.offset -> int -> Tezos_webassembly_interpreter.Ast.instr'
| VEC_CONST of Tezos_webassembly_interpreter.V128.shape -> string Tezos_webassembly_interpreter.Source.phrase list -> Tezos_webassembly_interpreter.Source.region -> Tezos_webassembly_interpreter.Ast.instr' * Tezos_webassembly_interpreter.Values.vec
| VEC_UNARY of Tezos_webassembly_interpreter.Ast.instr'
| VEC_BINARY of Tezos_webassembly_interpreter.Ast.instr'
| VEC_TERNARY of Tezos_webassembly_interpreter.Ast.instr'
| VEC_TEST of Tezos_webassembly_interpreter.Ast.instr'
| VEC_SHIFT of Tezos_webassembly_interpreter.Ast.instr'
| VEC_BITMASK of Tezos_webassembly_interpreter.Ast.instr'
| VEC_SHUFFLE
| VEC_EXTRACT of int -> Tezos_webassembly_interpreter.Ast.instr'
| VEC_REPLACE of int -> Tezos_webassembly_interpreter.Ast.instr'
| FUNC
| START
| TYPE
| PARAM
| RESULT
| LOCAL
| GLOBAL
| TABLE
| ELEM
| MEMORY
| DATA
| DECLARE
| OFFSET
| ITEM
| IMPORT
| EXPORT
| MODULE
| BIN
| QUOTE
| SCRIPT
| REGISTER
| INVOKE
| GET
| ASSERT_MALFORMED
| ASSERT_INVALID
| ASSERT_SOFT_INVALID
| ASSERT_UNLINKABLE
| ASSERT_RETURN
| ASSERT_TRAP
| ASSERT_EXHAUSTION
| NAN of Script.nan
| INPUT
| OUTPUT
| EOF
| VEC_SPLAT of Tezos_webassembly_interpreter.Ast.instr'

val script : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Script.script

val script1 : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Script.script

val module1 : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Script.var option * Script.definition

package tezos-webassembly-interpreter-extra