package octez-l2-libs
Octez layer2 libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-l2-libs.webassembly-interpreter-extra/Tezos_webassembly_interpreter_extra/Parser/index.html
Module Tezos_webassembly_interpreter_extra.ParserSource
Source
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'
Source
val module1 :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Script.var option * Script.definition