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. | GETSTRINGCHAR
  84. | SETSTRINGCHAR
  85. | BRANCH of int
  86. | BRANCHIF of int
  87. | BRANCHIFNOT of int
  88. | SWITCH of int * int array
  89. | BOOLNOT
  90. | PUSHTRAP of int
  91. | POPTRAP
  92. | RAISE
  93. | RERAISE
  94. | RAISE_NOTRACE
  95. | CHECK_SIGNALS
  96. | C_CALL1 of int
  97. | C_CALL2 of int
  98. | C_CALL3 of int
  99. | C_CALL4 of int
  100. | C_CALL5 of int
  101. | C_CALLN of int * int
  102. | CONST0
  103. | CONST1
  104. | CONST2
  105. | CONST3
  106. | CONSTINT of int
  107. | PUSHCONST0
  108. | PUSHCONST1
  109. | PUSHCONST2
  110. | PUSHCONST3
  111. | PUSHCONSTINT of int
  112. | NEGINT
  113. | ADDINT
  114. | SUBINT
  115. | MULINT
  116. | DIVINT
  117. | MODINT
  118. | ANDINT
  119. | ORINT
  120. | XORINT
  121. | LSLINT
  122. | LSRINT
  123. | ASRINT
  124. | EQ
  125. | NEQ
  126. | LTINT
  127. | LEINT
  128. | GTINT
  129. | GEINT
  130. | OFFSETINT of int
  131. | OFFSETREF of int
  132. | ISINT
  133. | GETMETHOD
  134. | BEQ of int * int
  135. | BNEQ of int * int
  136. | BLTINT of int * int
  137. | BLEINT of int * int
  138. | BGTINT of int * int
  139. | BGEINT of int * int
  140. | ULTINT
  141. | UGEINT
  142. | BULTINT of int * int
  143. | BUGEINT of int * int
  144. | GETPUBMET of int * int
  145. | GETDYNMET
  146. | STOP
  147. | EVENT
  148. | BREAK
val to_string : t -> string
val get_ptrs : t -> int list
OCaml

Innovation. Community. Security.