package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam
  2. W
    WebAssembly Authors

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

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

Module Tezos_webassembly_interpreter_extra.ParserSource

Sourcetype token =
  1. | LPAR
  2. | RPAR
  3. | NAT of string
  4. | INT of string
  5. | FLOAT of string
  6. | STRING of string
  7. | VAR of string
  8. | NUM_TYPE of Tezos_webassembly_interpreter.Types.num_type
  9. | VEC_TYPE of Tezos_webassembly_interpreter.Types.vec_type
  10. | VEC_SHAPE of Tezos_webassembly_interpreter.V128.shape
  11. | FUNCREF
  12. | EXTERNREF
  13. | EXTERN
  14. | MUT
  15. | UNREACHABLE
  16. | NOP
  17. | DROP
  18. | SELECT
  19. | BLOCK
  20. | END
  21. | IF
  22. | THEN
  23. | ELSE
  24. | LOOP
  25. | BR
  26. | BR_IF
  27. | BR_TABLE
  28. | CALL
  29. | CALL_INDIRECT
  30. | RETURN
  31. | LOCAL_GET
  32. | LOCAL_SET
  33. | LOCAL_TEE
  34. | GLOBAL_GET
  35. | GLOBAL_SET
  36. | TABLE_GET
  37. | TABLE_SET
  38. | TABLE_SIZE
  39. | TABLE_GROW
  40. | TABLE_FILL
  41. | TABLE_COPY
  42. | TABLE_INIT
  43. | ELEM_DROP
  44. | MEMORY_SIZE
  45. | MEMORY_GROW
  46. | MEMORY_FILL
  47. | MEMORY_COPY
  48. | MEMORY_INIT
  49. | DATA_DROP
  50. | LOAD of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
  51. | STORE of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
  52. | OFFSET_EQ_NAT of string
  53. | ALIGN_EQ_NAT of string
  54. | CONST of string Tezos_webassembly_interpreter.Source.phrase -> Tezos_webassembly_interpreter.Ast.instr' * Tezos_webassembly_interpreter.Values.num
  55. | UNARY of Tezos_webassembly_interpreter.Ast.instr'
  56. | BINARY of Tezos_webassembly_interpreter.Ast.instr'
  57. | TEST of Tezos_webassembly_interpreter.Ast.instr'
  58. | COMPARE of Tezos_webassembly_interpreter.Ast.instr'
  59. | CONVERT of Tezos_webassembly_interpreter.Ast.instr'
  60. | REF_NULL
  61. | REF_FUNC
  62. | REF_EXTERN
  63. | REF_IS_NULL
  64. | VEC_LOAD of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
  65. | VEC_STORE of int option -> Tezos_webassembly_interpreter.Memory.offset -> Tezos_webassembly_interpreter.Ast.instr'
  66. | VEC_LOAD_LANE of int option -> Tezos_webassembly_interpreter.Memory.offset -> int -> Tezos_webassembly_interpreter.Ast.instr'
  67. | VEC_STORE_LANE of int option -> Tezos_webassembly_interpreter.Memory.offset -> int -> Tezos_webassembly_interpreter.Ast.instr'
  68. | 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
  69. | VEC_UNARY of Tezos_webassembly_interpreter.Ast.instr'
  70. | VEC_BINARY of Tezos_webassembly_interpreter.Ast.instr'
  71. | VEC_TERNARY of Tezos_webassembly_interpreter.Ast.instr'
  72. | VEC_TEST of Tezos_webassembly_interpreter.Ast.instr'
  73. | VEC_SHIFT of Tezos_webassembly_interpreter.Ast.instr'
  74. | VEC_BITMASK of Tezos_webassembly_interpreter.Ast.instr'
  75. | VEC_SHUFFLE
  76. | VEC_EXTRACT of int -> Tezos_webassembly_interpreter.Ast.instr'
  77. | VEC_REPLACE of int -> Tezos_webassembly_interpreter.Ast.instr'
  78. | FUNC
  79. | START
  80. | TYPE
  81. | PARAM
  82. | RESULT
  83. | LOCAL
  84. | GLOBAL
  85. | TABLE
  86. | ELEM
  87. | MEMORY
  88. | DATA
  89. | DECLARE
  90. | OFFSET
  91. | ITEM
  92. | IMPORT
  93. | EXPORT
  94. | MODULE
  95. | BIN
  96. | QUOTE
  97. | SCRIPT
  98. | REGISTER
  99. | INVOKE
  100. | GET
  101. | ASSERT_MALFORMED
  102. | ASSERT_INVALID
  103. | ASSERT_SOFT_INVALID
  104. | ASSERT_UNLINKABLE
  105. | ASSERT_RETURN
  106. | ASSERT_TRAP
  107. | ASSERT_EXHAUSTION
  108. | NAN of Script.nan
  109. | INPUT
  110. | OUTPUT
  111. | EOF
  112. | VEC_SPLAT of Tezos_webassembly_interpreter.Ast.instr'