package obytelib

  1. Overview
  2. Docs
type t =
  1. | ACC0
  2. | ACC1
  3. | ACC2
  4. | ACC3
  5. | ACC4
  6. | ACC5
  7. | ACC6
  8. | ACC7
  9. | ACC of int
  10. | PUSH
  11. | PUSHACC0
  12. | PUSHACC1
  13. | PUSHACC2
  14. | PUSHACC3
  15. | PUSHACC4
  16. | PUSHACC5
  17. | PUSHACC6
  18. | PUSHACC7
  19. | PUSHACC of int
  20. | POP of int
  21. | ASSIGN of int
  22. | ENVACC1
  23. | ENVACC2
  24. | ENVACC3
  25. | ENVACC4
  26. | ENVACC of int
  27. | PUSHENVACC1
  28. | PUSHENVACC2
  29. | PUSHENVACC3
  30. | PUSHENVACC4
  31. | PUSHENVACC of int
  32. | PUSH_RETADDR of int
  33. | APPLY of int
  34. | APPLY1
  35. | APPLY2
  36. | APPLY3
  37. | APPTERM of int * int
  38. | APPTERM1 of int
  39. | APPTERM2 of int
  40. | APPTERM3 of int
  41. | RETURN of int
  42. | RESTART
  43. | GRAB of int
  44. | CLOSURE of int * int
  45. | CLOSUREREC of int * int * int * int array
  46. | OFFSETCLOSUREM2
  47. | OFFSETCLOSURE0
  48. | OFFSETCLOSURE2
  49. | OFFSETCLOSURE of int
  50. | PUSHOFFSETCLOSUREM2
  51. | PUSHOFFSETCLOSURE0
  52. | PUSHOFFSETCLOSURE2
  53. | PUSHOFFSETCLOSURE of int
  54. | GETGLOBAL of int
  55. | PUSHGETGLOBAL of int
  56. | GETGLOBALFIELD of int * int
  57. | PUSHGETGLOBALFIELD of int * int
  58. | SETGLOBAL of int
  59. | ATOM0
  60. | ATOM of int
  61. | PUSHATOM0
  62. | PUSHATOM of int
  63. | MAKEBLOCK of int * int
  64. | MAKEBLOCK1 of int
  65. | MAKEBLOCK2 of int
  66. | MAKEBLOCK3 of int
  67. | MAKEFLOATBLOCK of int
  68. | GETFIELD0
  69. | GETFIELD1
  70. | GETFIELD2
  71. | GETFIELD3
  72. | GETFIELD of int
  73. | GETFLOATFIELD of int
  74. | SETFIELD0
  75. | SETFIELD1
  76. | SETFIELD2
  77. | SETFIELD3
  78. | SETFIELD of int
  79. | SETFLOATFIELD of int
  80. | VECTLENGTH
  81. | GETVECTITEM
  82. | SETVECTITEM
  83. | GETBYTESCHAR
  84. | SETBYTESCHAR
  85. | GETSTRINGCHAR
  86. | BRANCH of int
  87. | BRANCHIF of int
  88. | BRANCHIFNOT of int
  89. | SWITCH of int * int array
  90. | BOOLNOT
  91. | PUSHTRAP of int
  92. | POPTRAP
  93. | RAISE
  94. | CHECK_SIGNALS
  95. | C_CALL1 of int
  96. | C_CALL2 of int
  97. | C_CALL3 of int
  98. | C_CALL4 of int
  99. | C_CALL5 of int
  100. | C_CALLN of int * int
  101. | CONST0
  102. | CONST1
  103. | CONST2
  104. | CONST3
  105. | CONSTINT of int
  106. | PUSHCONST0
  107. | PUSHCONST1
  108. | PUSHCONST2
  109. | PUSHCONST3
  110. | PUSHCONSTINT of int
  111. | NEGINT
  112. | ADDINT
  113. | SUBINT
  114. | MULINT
  115. | DIVINT
  116. | MODINT
  117. | ANDINT
  118. | ORINT
  119. | XORINT
  120. | LSLINT
  121. | LSRINT
  122. | ASRINT
  123. | EQ
  124. | NEQ
  125. | LTINT
  126. | LEINT
  127. | GTINT
  128. | GEINT
  129. | OFFSETINT of int
  130. | OFFSETREF of int
  131. | ISINT
  132. | GETMETHOD
  133. | BEQ of int * int
  134. | BNEQ of int * int
  135. | BLTINT of int * int
  136. | BLEINT of int * int
  137. | BGTINT of int * int
  138. | BGEINT of int * int
  139. | ULTINT
  140. | UGEINT
  141. | BULTINT of int * int
  142. | BUGEINT of int * int
  143. | GETPUBMET of int * int
  144. | GETDYNMET
  145. | STOP
  146. | EVENT
  147. | BREAK
  148. | RERAISE
  149. | RAISE_NOTRACE
val to_string : t -> string
val get_ptrs : t -> int list
val get_nexts : int -> t -> int list
OCaml

Innovation. Community. Security.