package diffast-langs-verilog-parsing

  1. Overview
  2. Docs
package diffast-langs-verilog-parsing
Legend:
Library
Module
Module type
Parameter
Class
Class type
type _ terminal =
  1. | T_error : unit terminal
  2. | T_XOR : unit terminal
  3. | T_XNOR : unit terminal
  4. | T_WOR : unit terminal
  5. | T_WITHx : unit terminal
  6. | T_WITH__P : unit terminal
  7. | T_WITH__C : unit terminal
  8. | T_WITH__B : unit terminal
  9. | T_WITHIN : unit terminal
  10. | T_WIRE : Labels.wirespec terminal
  11. | T_WILDCARD : unit terminal
  12. | T_WHILE : unit terminal
  13. | T_WEAK : unit terminal
  14. | T_WAND : unit terminal
  15. | T_WAIT_ORDER : unit terminal
  16. | T_WAIT : unit terminal
  17. | T_VOID : unit terminal
  18. | T_VIRTUAL__ID : unit terminal
  19. | T_VIRTUAL__I : unit terminal
  20. | T_VIRTUAL__C : unit terminal
  21. | T_VIRTUAL : unit terminal
  22. | T_VECTORED : unit terminal
  23. | T_VAR : unit terminal
  24. | T_USE : unit terminal
  25. | T_UNTYPED : unit terminal
  26. | T_UNTIL_WITH : unit terminal
  27. | T_UNTIL : unit terminal
  28. | T_UNSIGNED : unit terminal
  29. | T_UNIQUE0 : unit terminal
  30. | T_UNIQUE : unit terminal
  31. | T_UNION : unit terminal
  32. | T_UNDERSCORE : unit terminal
  33. | T_TYPE_IDENTIFIER : string terminal
  34. | T_TYPEDEF : unit terminal
  35. | T_TYPE : unit terminal
  36. | T_TRIREG : unit terminal
  37. | T_TRIOR : unit terminal
  38. | T_TRIAND : unit terminal
  39. | T_TRI1 : unit terminal
  40. | T_TRI0 : unit terminal
  41. | T_TRI : unit terminal
  42. | T_TIME_NUMBER : string terminal
  43. | T_TIMEUNIT : unit terminal
  44. | T_TIMEPRECISION : unit terminal
  45. | T_TIME : unit terminal
  46. | T_TILDE_PIPE : unit terminal
  47. | T_TILDE_AMP : unit terminal
  48. | T_TILDE : unit terminal
  49. | T_TICK_LBRACE : unit terminal
  50. | T_TICK : unit terminal
  51. | T_THROUGHOUT : unit terminal
  52. | T_THIS : unit terminal
  53. | T_TC_WIDTH : unit terminal
  54. | T_TC_TIMESKEW : unit terminal
  55. | T_TC_SKEW : unit terminal
  56. | T_TC_SETUPHOLD : unit terminal
  57. | T_TC_SETUP : unit terminal
  58. | T_TC_REMOVAL : unit terminal
  59. | T_TC_RECREM : unit terminal
  60. | T_TC_RECOVERY : unit terminal
  61. | T_TC_PERIOD : unit terminal
  62. | T_TC_NOCHANGE : unit terminal
  63. | T_TC_HOLD : unit terminal
  64. | T_TC_FULLSKEW : unit terminal
  65. | T_TASK__PV : unit terminal
  66. | T_TASK : unit terminal
  67. | T_TAGGED : unit terminal
  68. | T_TABLE : unit terminal
  69. | T_S_UNTIL_WITH : unit terminal
  70. | T_S_UNTIL : unit terminal
  71. | T_S_NEXTTIME : unit terminal
  72. | T_S_EVENTUALLY : unit terminal
  73. | T_S_ALWAYS : unit terminal
  74. | T_SYSCALL : string terminal
  75. | T_SYNC_REJECT_ON : unit terminal
  76. | T_SYNC_ACCEPT_ON : unit terminal
  77. | T_SYMBOL_xX : string terminal
  78. | T_SYMBOL_rRfFpPnN : string terminal
  79. | T_SYMBOL_bB : string terminal
  80. | T_SUPPLY1 : unit terminal
  81. | T_SUPPLY0 : unit terminal
  82. | T_SUPER : unit terminal
  83. | T_ST_WARNING : unit terminal
  84. | T_ST_UNIT : unit terminal
  85. | T_ST_ROOT : unit terminal
  86. | T_ST_INFO : unit terminal
  87. | T_ST_FATAL : unit terminal
  88. | T_ST_ERROR : unit terminal
  89. | T_STRUCT : unit terminal
  90. | T_STRONG : unit terminal
  91. | T_STRING_LITERAL : string terminal
  92. | T_STRING : unit terminal
  93. | T_STRENGTH : Labels.Strength.t terminal
  94. | T_STMT : Ast.node terminal
  95. | T_STATIC__C : unit terminal
  96. | T_STATIC : unit terminal
  97. | T_STAR_STAR : unit terminal
  98. | T_STAR_RPAREN : unit terminal
  99. | T_STAR_GT : unit terminal
  100. | T_STAR_EQ : unit terminal
  101. | T_STAR : unit terminal
  102. | T_SPECPARAM : unit terminal
  103. | T_SPECIFY : unit terminal
  104. | T_SOLVE : unit terminal
  105. | T_SLASH_EQ : unit terminal
  106. | T_SLASH : unit terminal
  107. | T_SIGNED : unit terminal
  108. | T_SHOWCANCELLED : unit terminal
  109. | T_SHORTREAL : unit terminal
  110. | T_SHORTINT : unit terminal
  111. | T_SHARP_SHARP : unit terminal
  112. | T_SHARP_MINUS_SHARP : unit terminal
  113. | T_SHARP_EQ_SHARP : unit terminal
  114. | T_SHARP : unit terminal
  115. | T_SEQUENCE : unit terminal
  116. | T_SEMICOLON : unit terminal
  117. | T_SCALARED : unit terminal
  118. | T_RPAREN : unit terminal
  119. | T_RETURN : unit terminal
  120. | T_RESTRICT : unit terminal
  121. | T_REPEAT : unit terminal
  122. | T_RELEASE : unit terminal
  123. | T_REJECT_ON : unit terminal
  124. | T_REG : unit terminal
  125. | T_REF : unit terminal
  126. | T_REAL_NUMBER : string terminal
  127. | T_REALTIME : unit terminal
  128. | T_REAL : unit terminal
  129. | T_RBRACKET : unit terminal
  130. | T_RBRACE : unit terminal
  131. | T_RANDSEQUENCE : unit terminal
  132. | T_RANDCASE : unit terminal
  133. | T_RANDC : unit terminal
  134. | T_RAND : unit terminal
  135. | T_QUESTION : unit terminal
  136. | T_P_UNARY_ARITH : unit terminal
  137. | T_P_TAGGED : unit terminal
  138. | T_P_REDUCTION : unit terminal
  139. | T_P_NEGATION : unit terminal
  140. | T_PURE : unit terminal
  141. | T_PULSESTYLE_ONEVENT : unit terminal
  142. | T_PULSESTYLE_ONDETECT : unit terminal
  143. | T_PROTECTED : unit terminal
  144. | T_PROPERTY : unit terminal
  145. | T_PROGRAM : unit terminal
  146. | T_PRIORITY : unit terminal
  147. | T_PRIMITIVE : unit terminal
  148. | T_PP_UNDEF__IDENT : string terminal
  149. | T_PP_UNDEFINEALL : unit terminal
  150. | T_PP_UNDEF : unit terminal
  151. | T_PP_UNCONNECTED_DRIVE : unit terminal
  152. | T_PP_TIMESCALE : unit terminal
  153. | T_PP_SYS_INCLUDE : string terminal
  154. | T_PP_RESETALL : unit terminal
  155. | T_PP_PRAGMA : unit terminal
  156. | T_PP_NOUNCONNECTED_DRIVE : unit terminal
  157. | T_PP_MACRO_NAME : string terminal
  158. | T_PP_MACRO_ID : string terminal
  159. | T_PP_MACRO_EXPR : string terminal
  160. | T_PP_MACRO_CONST_STR : string terminal
  161. | T_PP_MACRO_CONST_INT : string terminal
  162. | T_PP_MACRO_CONST : string terminal
  163. | T_PP_MACRO_APPL : (string * string list) terminal
  164. | T_PP_LINE : unit terminal
  165. | T_PP_INCLUDE : string terminal
  166. | T_PP_IFNDEF : unit terminal
  167. | T_PP_IFDEF : unit terminal
  168. | T_PP_IDENTIFIER : string terminal
  169. | T_PP_ERROR : unit terminal
  170. | T_PP_END_KEYWORDS : unit terminal
  171. | T_PP_ENDIF : unit terminal
  172. | T_PP_ENDCELLDEFINE : unit terminal
  173. | T_PP_ELSIF : unit terminal
  174. | T_PP_ELSE : unit terminal
  175. | T_PP_DELAY_MODE_ZERO : unit terminal
  176. | T_PP_DELAY_MODE_UNIT : unit terminal
  177. | T_PP_DELAY_MODE_PATH : unit terminal
  178. | T_PP_DELAY_MODE_DISTRIBUTED : unit terminal
  179. | T_PP_DEFINE__IDENT__BODY : (string * Macro.body) terminal
  180. | T_PP_DEFAULT_TRIREG_STRENGTH : unit terminal
  181. | T_PP_DEFAULT_NETTYPE : unit terminal
  182. | T_PP_DEFAULT_DECAY_TIME : unit terminal
  183. | T_PP_CONCAT : unit terminal
  184. | T_PP_CELLDEFINE : unit terminal
  185. | T_PP_BEGIN_KEYWORDS : unit terminal
  186. | T_POSEDGE : unit terminal
  187. | T_PORT : Ast.node terminal
  188. | T_PLUS_PLUS : unit terminal
  189. | T_PLUS_EQ : unit terminal
  190. | T_PLUS_COLON : unit terminal
  191. | T_PLUS : unit terminal
  192. | T_PIPE_PIPE : unit terminal
  193. | T_PIPE_MINUS_GT : unit terminal
  194. | T_PIPE_EQ_GT : unit terminal
  195. | T_PIPE_EQ : unit terminal
  196. | T_PIPE : unit terminal
  197. | T_PERCENT_EQ : unit terminal
  198. | T_PERCENT : unit terminal
  199. | T_PATHPULSE_IDENTIFIER : string terminal
  200. | T_PARAMETER : unit terminal
  201. | T_PACKED : unit terminal
  202. | T_PACKAGE_IDENTIFIER : string terminal
  203. | T_PACKAGE : unit terminal
  204. | T_OUTPUT : unit terminal
  205. | T_OR : unit terminal
  206. | T_NULL : unit terminal
  207. | T_NOT : unit terminal
  208. | T_NOSHOWCANCELLED : unit terminal
  209. | T_NOR : unit terminal
  210. | T_NEXTTIME : unit terminal
  211. | T_NEW__P : unit terminal
  212. | T_NEW : unit terminal
  213. | T_NEGEDGE : unit terminal
  214. | T_NB_ASSIGN_POSTFIX : string terminal
  215. | T_NAND : unit terminal
  216. | T_MODULE_ITEM : Ast.node terminal
  217. | T_MODULE : Labels.ModuleSpec.t terminal
  218. | T_MODPORT : unit terminal
  219. | T_MINUS_MINUS : unit terminal
  220. | T_MINUS_GT_GT : unit terminal
  221. | T_MINUS_GT : unit terminal
  222. | T_MINUS_EQ : unit terminal
  223. | T_MINUS_COLON : unit terminal
  224. | T_MINUS : unit terminal
  225. | T_MATCHES_ : unit terminal
  226. | T_MATCHES : unit terminal
  227. | T_LT_MINUS_GT : unit terminal
  228. | T_LT_LT_EQ : unit terminal
  229. | T_LT_LT : unit terminal
  230. | T_LT_EQ__IGN : unit terminal
  231. | T_LT_EQ : unit terminal
  232. | T_LT : unit terminal
  233. | T_LPAREN__S : unit terminal
  234. | T_LPAREN__IGN : unit terminal
  235. | T_LPAREN_STAR : unit terminal
  236. | T_LPAREN : unit terminal
  237. | T_LONGINT : unit terminal
  238. | T_LOGIC : unit terminal
  239. | T_LOCAL__CC : unit terminal
  240. | T_LOCALPARAM : unit terminal
  241. | T_LOCAL : unit terminal
  242. | T_LIBRARY : unit terminal
  243. | T_LIBLIST : unit terminal
  244. | T_LET : unit terminal
  245. | T_LBRACKET_STAR : unit terminal
  246. | T_LBRACKET_PLUS_RBRACKET : unit terminal
  247. | T_LBRACKET_MINUS_GT : unit terminal
  248. | T_LBRACKET_EQ : unit terminal
  249. | T_LBRACKET : unit terminal
  250. | T_LBRACE : unit terminal
  251. | T_JOIN_ : unit terminal
  252. | T_JOIN : Labels.JoinSpec.t terminal
  253. | T_INTERSECT : unit terminal
  254. | T_INTERFACE : unit terminal
  255. | T_INTEGRAL_NUMBER : string terminal
  256. | T_INTEGER : unit terminal
  257. | T_INT : unit terminal
  258. | T_INSTANCE : unit terminal
  259. | T_INSIDE_ : unit terminal
  260. | T_INSIDE : unit terminal
  261. | T_INPUT : unit terminal
  262. | T_INOUT : unit terminal
  263. | T_INITIAL : unit terminal
  264. | T_INCLUDE : unit terminal
  265. | T_INCDIR : unit terminal
  266. | T_IMPORT : unit terminal
  267. | T_IMPLIES : unit terminal
  268. | T_ILLEGAL_BINS : unit terminal
  269. | T_IGNORE_BINS : unit terminal
  270. | T_IFNONE : unit terminal
  271. | T_IFF : unit terminal
  272. | T_IF : unit terminal
  273. | T_IDENTIFIER : string terminal
  274. | T_HAT_TILDE : unit terminal
  275. | T_HAT_EQ : unit terminal
  276. | T_HAT : unit terminal
  277. | T_GT_GT_GT_EQ : unit terminal
  278. | T_GT_GT_GT : unit terminal
  279. | T_GT_GT_EQ : unit terminal
  280. | T_GT_GT : unit terminal
  281. | T_GT_EQ : unit terminal
  282. | T_GT : unit terminal
  283. | T_GLOBAL : unit terminal
  284. | T_GENVAR : unit terminal
  285. | T_GENERATE_ITEM : Ast.node terminal
  286. | T_GENERATE_ : unit terminal
  287. | T_GENERATE : unit terminal
  288. | T_GATE : Labels.gate terminal
  289. | T_FUNCTION__PV : unit terminal
  290. | T_FUNCTION : unit terminal
  291. | T_FORK_ : unit terminal
  292. | T_FORKJOIN : unit terminal
  293. | T_FORK : unit terminal
  294. | T_FOREVER : unit terminal
  295. | T_FOREACH : unit terminal
  296. | T_FORCE : unit terminal
  297. | T_FOR : unit terminal
  298. | T_FIRST_MATCH : unit terminal
  299. | T_FINAL : unit terminal
  300. | T_EXTERN : unit terminal
  301. | T_EXTENDS : unit terminal
  302. | T_EXPR : Ast.node terminal
  303. | T_EXPORT : unit terminal
  304. | T_EXPECT : unit terminal
  305. | T_EXCLAM_EQ_QUESTION : unit terminal
  306. | T_EXCLAM_EQ_EQ : unit terminal
  307. | T_EXCLAM_EQ : unit terminal
  308. | T_EXCLAM : unit terminal
  309. | T_EVENTUALLY : unit terminal
  310. | T_EVENT : unit terminal
  311. | T_EQ_GT : unit terminal
  312. | T_EQ_EQ_QUESTION : unit terminal
  313. | T_EQ_EQ_EQ : unit terminal
  314. | T_EQ_EQ : unit terminal
  315. | T_EQ : unit terminal
  316. | T_EOP : unit terminal
  317. | T_EOL : unit terminal
  318. | T_EOF : unit terminal
  319. | T_ENUM : unit terminal
  320. | T_END_ : unit terminal
  321. | T_ENDTASK : unit terminal
  322. | T_ENDTABLE : unit terminal
  323. | T_ENDSPECIFY : unit terminal
  324. | T_ENDSEQUENCE : unit terminal
  325. | T_ENDPROPERTY : unit terminal
  326. | T_ENDPROGRAM : unit terminal
  327. | T_ENDPRIMITIVE : unit terminal
  328. | T_ENDPACKAGE : unit terminal
  329. | T_ENDMODULE_ : unit terminal
  330. | T_ENDMODULE : unit terminal
  331. | T_ENDINTERFACE : unit terminal
  332. | T_ENDGROUP : unit terminal
  333. | T_ENDGENERATE : unit terminal
  334. | T_ENDFUNCTION : unit terminal
  335. | T_ENDCONFIG : unit terminal
  336. | T_ENDCLOCKING : unit terminal
  337. | T_ENDCLASS : unit terminal
  338. | T_ENDCHECKER : unit terminal
  339. | T_ENDCASE : unit terminal
  340. | T_END : unit terminal
  341. | T_ELSE : unit terminal
  342. | T_EDGE : unit terminal
  343. | T_DOT_STAR : unit terminal
  344. | T_DOT : unit terminal
  345. | T_DOLLAR : unit terminal
  346. | T_DO : unit terminal
  347. | T_DIST : unit terminal
  348. | T_DISABLE : unit terminal
  349. | T_DESIGN : unit terminal
  350. | T_DESCRIPTION : Ast.node terminal
  351. | T_DEFPARAM : unit terminal
  352. | T_DEFAULT : unit terminal
  353. | T_DEASSIGN : unit terminal
  354. | T_CROSS : unit terminal
  355. | T_COVERPOINT : unit terminal
  356. | T_COVERGROUP_IDENTIFIER : string terminal
  357. | T_COVERGROUP : unit terminal
  358. | T_COVER : unit terminal
  359. | T_CONTINUE : unit terminal
  360. | T_CONTEXT : unit terminal
  361. | T_CONST__R : unit terminal
  362. | T_CONSTRAINT : unit terminal
  363. | T_CONST : unit terminal
  364. | T_CONFIG : unit terminal
  365. | T_COMMA__I : unit terminal
  366. | T_COMMA : unit terminal
  367. | T_COLON_SLASH : unit terminal
  368. | T_COLON_EQ : unit terminal
  369. | T_COLON_COLON : unit terminal
  370. | T_COLON : unit terminal
  371. | T_CLOCKING : unit terminal
  372. | T_CLASS_IDENTIFIER : string terminal
  373. | T_CLASS : unit terminal
  374. | T_CHECKER : unit terminal
  375. | T_CHANDLE : unit terminal
  376. | T_CELLPIN_ITEM : Ast.node terminal
  377. | T_CELL : unit terminal
  378. | T_CASE_ITEM : Ast.node terminal
  379. | T_CASE_INSIDE_ITEM : Ast.node terminal
  380. | T_CASEZ : unit terminal
  381. | T_CASEX : unit terminal
  382. | T_CASE : unit terminal
  383. | T_BYTE : unit terminal
  384. | T_BUF : unit terminal
  385. | T_BREAK : unit terminal
  386. | T_BLOCK_ITEM_DECLARATION : Ast.node terminal
  387. | T_BIT : unit terminal
  388. | T_BINSOF : unit terminal
  389. | T_BINS : unit terminal
  390. | T_BIND : unit terminal
  391. | T_BEGIN_ : unit terminal
  392. | T_BEGIN : unit terminal
  393. | T_BEFORE : unit terminal
  394. | T_AUTOMATIC : unit terminal
  395. | T_AT_AT : unit terminal
  396. | T_AT : unit terminal
  397. | T_ASSUME : unit terminal
  398. | T_ASSIGN : unit terminal
  399. | T_ASSERT : unit terminal
  400. | T_AND : unit terminal
  401. | T_AMP_EQ : unit terminal
  402. | T_AMP_AMP_AMP : unit terminal
  403. | T_AMP_AMP : unit terminal
  404. | T_AMP : unit terminal
  405. | T_ALWAYS : Labels.AlwaysSpec.t terminal
  406. | T_ALIAS : unit terminal
  407. | T_ACCEPT_ON : unit terminal
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