Module Mavryk_webassembly_interpreter_extra.Parser

type 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 Mavryk_webassembly_interpreter.Types.num_type
  9. | VEC_TYPE of Mavryk_webassembly_interpreter.Types.vec_type
  10. | VEC_SHAPE of Mavryk_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 -> Mavryk_webassembly_interpreter.Memory.offset -> Mavryk_webassembly_interpreter.Ast.instr'
  51. | STORE of int option -> Mavryk_webassembly_interpreter.Memory.offset -> Mavryk_webassembly_interpreter.Ast.instr'
  52. | OFFSET_EQ_NAT of string
  53. | ALIGN_EQ_NAT of string
  54. | CONST of string Mavryk_webassembly_interpreter.Source.phrase -> Mavryk_webassembly_interpreter.Ast.instr' * Mavryk_webassembly_interpreter.Values.num
  55. | UNARY of Mavryk_webassembly_interpreter.Ast.instr'
  56. | BINARY of Mavryk_webassembly_interpreter.Ast.instr'
  57. | TEST of Mavryk_webassembly_interpreter.Ast.instr'
  58. | COMPARE of Mavryk_webassembly_interpreter.Ast.instr'
  59. | CONVERT of Mavryk_webassembly_interpreter.Ast.instr'
  60. | REF_NULL
  61. | REF_FUNC
  62. | REF_EXTERN
  63. | REF_IS_NULL
  64. | VEC_LOAD of int option -> Mavryk_webassembly_interpreter.Memory.offset -> Mavryk_webassembly_interpreter.Ast.instr'
  65. | VEC_STORE of int option -> Mavryk_webassembly_interpreter.Memory.offset -> Mavryk_webassembly_interpreter.Ast.instr'
  66. | VEC_LOAD_LANE of int option -> Mavryk_webassembly_interpreter.Memory.offset -> int -> Mavryk_webassembly_interpreter.Ast.instr'
  67. | VEC_STORE_LANE of int option -> Mavryk_webassembly_interpreter.Memory.offset -> int -> Mavryk_webassembly_interpreter.Ast.instr'
  68. | VEC_CONST of Mavryk_webassembly_interpreter.V128.shape -> string Mavryk_webassembly_interpreter.Source.phrase list -> Mavryk_webassembly_interpreter.Source.region -> Mavryk_webassembly_interpreter.Ast.instr' * Mavryk_webassembly_interpreter.Values.vec
  69. | VEC_UNARY of Mavryk_webassembly_interpreter.Ast.instr'
  70. | VEC_BINARY of Mavryk_webassembly_interpreter.Ast.instr'
  71. | VEC_TERNARY of Mavryk_webassembly_interpreter.Ast.instr'
  72. | VEC_TEST of Mavryk_webassembly_interpreter.Ast.instr'
  73. | VEC_SHIFT of Mavryk_webassembly_interpreter.Ast.instr'
  74. | VEC_BITMASK of Mavryk_webassembly_interpreter.Ast.instr'
  75. | VEC_SHUFFLE
  76. | VEC_EXTRACT of int -> Mavryk_webassembly_interpreter.Ast.instr'
  77. | VEC_REPLACE of int -> Mavryk_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 Mavryk_webassembly_interpreter.Ast.instr'
val script : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Script.script
val script1 : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Script.script
val module1 : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Script.var option * Script.definition