package herdtools7

  1. Overview
  2. Docs
type token =
  1. | WHILE
  2. | WHEN
  3. | UU_WRITE
  4. | UU_UNPREDICTABLE_UNLESS
  5. | UU_UNPREDICTABLE
  6. | UU_UNALLOCATED
  7. | UU_REGISTER
  8. | UU_READWRITE
  9. | UU_POSTDECODE
  10. | UU_OPERATOR_TWO
  11. | UU_OPERATOR_ONE
  12. | UU_OPCODE
  13. | UU_NOP
  14. | UU_NEWMAP
  15. | UU_NEWEVENT
  16. | UU_MAP
  17. | UU_INSTRUCTION_SET
  18. | UU_INSTRUCTION
  19. | UU_GUARD
  20. | UU_FUNCTION
  21. | UU_FIELD
  22. | UU_EXECUTE
  23. | UU_EXCEPTIONTAKEN
  24. | UU_EVENT
  25. | UU_ENCODING
  26. | UU_DECODE
  27. | UU_CONFIG
  28. | UU_CONDITIONAL
  29. | UU_BUILTIN
  30. | UU_ARRAY
  31. | UNTIL
  32. | UNPREDICTABLE
  33. | UNKNOWN
  34. | UNDEFINED
  35. | TYPEOF
  36. | TYPE
  37. | TRY
  38. | TO
  39. | THROW
  40. | THEN
  41. | STRING_LIT of string
  42. | STAR
  43. | SLASH
  44. | SEMICOLON
  45. | SEE
  46. | RPAREN
  47. | RETURN
  48. | REPEAT
  49. | REM
  50. | RECORD
  51. | REAL_LIT of Q.t
  52. | REAL
  53. | RBRACK
  54. | RBRACE_RBRACE
  55. | RBRACE
  56. | QUOT
  57. | QUALIFIER of string
  58. | PLUS_PLUS
  59. | PLUS_COLON
  60. | PLUS
  61. | OTHERWISE
  62. | OR
  63. | OF
  64. | NOT
  65. | MOD
  66. | MINUS
  67. | MASK_LIT of Bitvector.mask
  68. | LT_LT
  69. | LT_EQ
  70. | LT
  71. | LPAREN
  72. | LBRACK
  73. | LBRACE_LBRACE
  74. | LBRACE
  75. | IS
  76. | INT_LIT of Z.t
  77. | INTEGER
  78. | INDENT
  79. | IN
  80. | IMPLIES
  81. | IMPLEM_DEFINED
  82. | IFF
  83. | IF
  84. | IDENTIFIER of string
  85. | GT_GT
  86. | GT_EQ
  87. | GT
  88. | FOR
  89. | EQ_GT
  90. | EQ_EQ
  91. | EQ
  92. | EOR
  93. | EOL
  94. | EOF
  95. | ENUMERATION
  96. | ELSIF
  97. | ELSE
  98. | DOWNTO
  99. | DOT_DOT
  100. | DOT
  101. | DO
  102. | DIV
  103. | DEDENT
  104. | DEBUG
  105. | CONSTRAINED_UNPRED
  106. | CONSTANT
  107. | COMMA
  108. | COLON
  109. | CATCH
  110. | CASE
  111. | CARET
  112. | BOOL_LIT of bool
  113. | BOOLEAN
  114. | BITS_LIT of Bitvector.t
  115. | BITS
  116. | BIT
  117. | BAR_BAR
  118. | BANG_EQ
  119. | BANG
  120. | ASSERT
  121. | ARRAY
  122. | AND
  123. | AMP_AMP
  124. | AMP
exception Error
val opn : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> AST.t
val ast : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> AST.t
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
OCaml

Innovation. Community. Security.