package diffast-langs-verilog-parsing

  1. Overview
  2. Docs
package diffast-langs-verilog-parsing
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | XNOR
  3. | WOR
  4. | WITHx
  5. | WITH__P
  6. | WITH__C
  7. | WITH__B
  8. | WITHIN
  9. | WIRE of Labels.wirespec
  10. | WILDCARD
  11. | WHILE
  12. | WEAK
  13. | WAND
  14. | WAIT_ORDER
  15. | WAIT
  16. | VOID
  17. | VIRTUAL__ID
  18. | VIRTUAL__I
  19. | VIRTUAL__C
  20. | VIRTUAL
  21. | VECTORED
  22. | VAR
  23. | USE
  24. | UNTYPED
  25. | UNTIL_WITH
  26. | UNTIL
  27. | UNSIGNED
  28. | UNIQUE0
  29. | UNIQUE
  30. | UNION
  31. | UNDERSCORE
  32. | TYPE_IDENTIFIER of string
  33. | TYPEDEF
  34. | TYPE
  35. | TRIREG
  36. | TRIOR
  37. | TRIAND
  38. | TRI1
  39. | TRI0
  40. | TRI
  41. | TIME_NUMBER of string
  42. | TIMEUNIT
  43. | TIMEPRECISION
  44. | TIME
  45. | TILDE_PIPE
  46. | TILDE_AMP
  47. | TILDE
  48. | TICK_LBRACE
  49. | TICK
  50. | THROUGHOUT
  51. | THIS
  52. | TC_WIDTH
  53. | TC_TIMESKEW
  54. | TC_SKEW
  55. | TC_SETUPHOLD
  56. | TC_SETUP
  57. | TC_REMOVAL
  58. | TC_RECREM
  59. | TC_RECOVERY
  60. | TC_PERIOD
  61. | TC_NOCHANGE
  62. | TC_HOLD
  63. | TC_FULLSKEW
  64. | TASK__PV
  65. | TASK
  66. | TAGGED
  67. | TABLE
  68. | S_UNTIL_WITH
  69. | S_UNTIL
  70. | S_NEXTTIME
  71. | S_EVENTUALLY
  72. | S_ALWAYS
  73. | SYSCALL of string
  74. | SYNC_REJECT_ON
  75. | SYNC_ACCEPT_ON
  76. | SYMBOL_xX of string
  77. | SYMBOL_rRfFpPnN of string
  78. | SYMBOL_bB of string
  79. | SUPPLY1
  80. | SUPPLY0
  81. | SUPER
  82. | ST_WARNING
  83. | ST_UNIT
  84. | ST_ROOT
  85. | ST_INFO
  86. | ST_FATAL
  87. | ST_ERROR
  88. | STRUCT
  89. | STRONG
  90. | STRING_LITERAL of string
  91. | STRING
  92. | STRENGTH of Labels.Strength.t
  93. | STMT of Ast.node
  94. | STATIC__C
  95. | STATIC
  96. | STAR_STAR
  97. | STAR_RPAREN
  98. | STAR_GT
  99. | STAR_EQ
  100. | STAR
  101. | SPECPARAM
  102. | SPECIFY
  103. | SOLVE
  104. | SLASH_EQ
  105. | SLASH
  106. | SIGNED
  107. | SHOWCANCELLED
  108. | SHORTREAL
  109. | SHORTINT
  110. | SHARP_SHARP
  111. | SHARP_MINUS_SHARP
  112. | SHARP_EQ_SHARP
  113. | SHARP
  114. | SEQUENCE
  115. | SEMICOLON
  116. | SCALARED
  117. | RPAREN
  118. | RETURN
  119. | RESTRICT
  120. | REPEAT
  121. | RELEASE
  122. | REJECT_ON
  123. | REG
  124. | REF
  125. | REAL_NUMBER of string
  126. | REALTIME
  127. | REAL
  128. | RBRACKET
  129. | RBRACE
  130. | RANDSEQUENCE
  131. | RANDCASE
  132. | RANDC
  133. | RAND
  134. | QUESTION
  135. | P_UNARY_ARITH
  136. | P_TAGGED
  137. | P_REDUCTION
  138. | P_NEGATION
  139. | PURE
  140. | PULSESTYLE_ONEVENT
  141. | PULSESTYLE_ONDETECT
  142. | PROTECTED
  143. | PROPERTY
  144. | PROGRAM
  145. | PRIORITY
  146. | PRIMITIVE
  147. | PP_UNDEF__IDENT of string
  148. | PP_UNDEFINEALL
  149. | PP_UNDEF
  150. | PP_UNCONNECTED_DRIVE
  151. | PP_TIMESCALE
  152. | PP_SYS_INCLUDE of string
  153. | PP_RESETALL
  154. | PP_PRAGMA
  155. | PP_NOUNCONNECTED_DRIVE
  156. | PP_MACRO_NAME of string
  157. | PP_MACRO_ID of string
  158. | PP_MACRO_EXPR of string
  159. | PP_MACRO_CONST_STR of string
  160. | PP_MACRO_CONST_INT of string
  161. | PP_MACRO_CONST of string
  162. | PP_MACRO_APPL of string * string list
  163. | PP_LINE
  164. | PP_INCLUDE of string
  165. | PP_IFNDEF
  166. | PP_IFDEF
  167. | PP_IDENTIFIER of string
  168. | PP_ERROR
  169. | PP_END_KEYWORDS
  170. | PP_ENDIF
  171. | PP_ENDCELLDEFINE
  172. | PP_ELSIF
  173. | PP_ELSE
  174. | PP_DELAY_MODE_ZERO
  175. | PP_DELAY_MODE_UNIT
  176. | PP_DELAY_MODE_PATH
  177. | PP_DELAY_MODE_DISTRIBUTED
  178. | PP_DEFINE__IDENT__BODY of string * Macro.body
  179. | PP_DEFAULT_TRIREG_STRENGTH
  180. | PP_DEFAULT_NETTYPE
  181. | PP_DEFAULT_DECAY_TIME
  182. | PP_CONCAT
  183. | PP_CELLDEFINE
  184. | PP_BEGIN_KEYWORDS
  185. | POSEDGE
  186. | PORT of Ast.node
  187. | PLUS_PLUS
  188. | PLUS_EQ
  189. | PLUS_COLON
  190. | PLUS
  191. | PIPE_PIPE
  192. | PIPE_MINUS_GT
  193. | PIPE_EQ_GT
  194. | PIPE_EQ
  195. | PIPE
  196. | PERCENT_EQ
  197. | PERCENT
  198. | PATHPULSE_IDENTIFIER of string
  199. | PARAMETER
  200. | PACKED
  201. | PACKAGE_IDENTIFIER of string
  202. | PACKAGE
  203. | OUTPUT
  204. | OR
  205. | NULL
  206. | NOT
  207. | NOSHOWCANCELLED
  208. | NOR
  209. | NEXTTIME
  210. | NEW__P
  211. | NEW
  212. | NEGEDGE
  213. | NB_ASSIGN_POSTFIX of string
  214. | NAND
  215. | MODULE_ITEM of Ast.node
  216. | MODULE of Labels.ModuleSpec.t
  217. | MODPORT
  218. | MINUS_MINUS
  219. | MINUS_GT_GT
  220. | MINUS_GT
  221. | MINUS_EQ
  222. | MINUS_COLON
  223. | MINUS
  224. | MATCHES_
  225. | MATCHES
  226. | LT_MINUS_GT
  227. | LT_LT_EQ
  228. | LT_LT
  229. | LT_EQ__IGN
  230. | LT_EQ
  231. | LT
  232. | LPAREN__S
  233. | LPAREN__IGN
  234. | LPAREN_STAR
  235. | LPAREN
  236. | LONGINT
  237. | LOGIC
  238. | LOCAL__CC
  239. | LOCALPARAM
  240. | LOCAL
  241. | LIBRARY
  242. | LIBLIST
  243. | LET
  244. | LBRACKET_STAR
  245. | LBRACKET_PLUS_RBRACKET
  246. | LBRACKET_MINUS_GT
  247. | LBRACKET_EQ
  248. | LBRACKET
  249. | LBRACE
  250. | JOIN_
  251. | JOIN of Labels.JoinSpec.t
  252. | INTERSECT
  253. | INTERFACE
  254. | INTEGRAL_NUMBER of string
  255. | INTEGER
  256. | INT
  257. | INSTANCE
  258. | INSIDE_
  259. | INSIDE
  260. | INPUT
  261. | INOUT
  262. | INITIAL
  263. | INCLUDE
  264. | INCDIR
  265. | IMPORT
  266. | IMPLIES
  267. | ILLEGAL_BINS
  268. | IGNORE_BINS
  269. | IFNONE
  270. | IFF
  271. | IF
  272. | IDENTIFIER of string
  273. | HAT_TILDE
  274. | HAT_EQ
  275. | HAT
  276. | GT_GT_GT_EQ
  277. | GT_GT_GT
  278. | GT_GT_EQ
  279. | GT_GT
  280. | GT_EQ
  281. | GT
  282. | GLOBAL
  283. | GENVAR
  284. | GENERATE_ITEM of Ast.node
  285. | GENERATE_
  286. | GENERATE
  287. | GATE of Labels.gate
  288. | FUNCTION__PV
  289. | FUNCTION
  290. | FORK_
  291. | FORKJOIN
  292. | FORK
  293. | FOREVER
  294. | FOREACH
  295. | FORCE
  296. | FOR
  297. | FIRST_MATCH
  298. | FINAL
  299. | EXTERN
  300. | EXTENDS
  301. | EXPR of Ast.node
  302. | EXPORT
  303. | EXPECT
  304. | EXCLAM_EQ_QUESTION
  305. | EXCLAM_EQ_EQ
  306. | EXCLAM_EQ
  307. | EXCLAM
  308. | EVENTUALLY
  309. | EVENT
  310. | EQ_GT
  311. | EQ_EQ_QUESTION
  312. | EQ_EQ_EQ
  313. | EQ_EQ
  314. | EQ
  315. | EOP
  316. | EOL
  317. | EOF
  318. | ENUM
  319. | END_
  320. | ENDTASK
  321. | ENDTABLE
  322. | ENDSPECIFY
  323. | ENDSEQUENCE
  324. | ENDPROPERTY
  325. | ENDPROGRAM
  326. | ENDPRIMITIVE
  327. | ENDPACKAGE
  328. | ENDMODULE_
  329. | ENDMODULE
  330. | ENDINTERFACE
  331. | ENDGROUP
  332. | ENDGENERATE
  333. | ENDFUNCTION
  334. | ENDCONFIG
  335. | ENDCLOCKING
  336. | ENDCLASS
  337. | ENDCHECKER
  338. | ENDCASE
  339. | END
  340. | ELSE
  341. | EDGE
  342. | DOT_STAR
  343. | DOT
  344. | DOLLAR
  345. | DO
  346. | DIST
  347. | DISABLE
  348. | DESIGN
  349. | DESCRIPTION of Ast.node
  350. | DEFPARAM
  351. | DEFAULT
  352. | DEASSIGN
  353. | CROSS
  354. | COVERPOINT
  355. | COVERGROUP_IDENTIFIER of string
  356. | COVERGROUP
  357. | COVER
  358. | CONTINUE
  359. | CONTEXT
  360. | CONST__R
  361. | CONSTRAINT
  362. | CONST
  363. | CONFIG
  364. | COMMA__I
  365. | COMMA
  366. | COLON_SLASH
  367. | COLON_EQ
  368. | COLON_COLON
  369. | COLON
  370. | CLOCKING
  371. | CLASS_IDENTIFIER of string
  372. | CLASS
  373. | CHECKER
  374. | CHANDLE
  375. | CELLPIN_ITEM of Ast.node
  376. | CELL
  377. | CASE_ITEM of Ast.node
  378. | CASE_INSIDE_ITEM of Ast.node
  379. | CASEZ
  380. | CASEX
  381. | CASE
  382. | BYTE
  383. | BUF
  384. | BREAK
  385. | BLOCK_ITEM_DECLARATION of Ast.node
  386. | BIT
  387. | BINSOF
  388. | BINS
  389. | BIND
  390. | BEGIN_
  391. | BEGIN
  392. | BEFORE
  393. | AUTOMATIC
  394. | AT_AT
  395. | AT
  396. | ASSUME
  397. | ASSIGN
  398. | ASSERT
  399. | AND
  400. | AMP_EQ
  401. | AMP_AMP_AMP
  402. | AMP_AMP
  403. | AMP
  404. | ALWAYS of Labels.AlwaysSpec.t
  405. | ALIAS
  406. | ACCEPT_ON
module MenhirInterpreter : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct