Tokens_ (u.fb3c1658ed49771b5668677140e95081.diffast-langs-verilog-parsing.0.1.1.doc.diffast-langs-verilog-parsing.Verilog_parsing.Tokens

Sourcemodule T : sig ... end

include module type of struct include T end

Sourcetype token = T.token =

| XOR
| XNOR
| WOR
| WITHx
| WITH__P
| WITH__C
| WITH__B
| WITHIN
| WIRE of Labels.wirespec
| WILDCARD
| WHILE
| WEAK
| WAND
| WAIT_ORDER
| WAIT
| VOID
| VIRTUAL__ID
| VIRTUAL__I
| VIRTUAL__C
| VIRTUAL
| VECTORED
| VAR
| USE
| UNTYPED
| UNTIL_WITH
| UNTIL
| UNSIGNED
| UNIQUE0
| UNIQUE
| UNION
| UNDERSCORE
| TYPE_IDENTIFIER of string
| TYPEDEF
| TYPE
| TRIREG
| TRIOR
| TRIAND
| TRI1
| TRI0
| TRI
| TIME_NUMBER of string
| TIMEUNIT
| TIMEPRECISION
| TIME
| TILDE_PIPE
| TILDE_AMP
| TILDE
| TICK_LBRACE
| TICK
| THROUGHOUT
| THIS
| TC_WIDTH
| TC_TIMESKEW
| TC_SKEW
| TC_SETUPHOLD
| TC_SETUP
| TC_REMOVAL
| TC_RECREM
| TC_RECOVERY
| TC_PERIOD
| TC_NOCHANGE
| TC_HOLD
| TC_FULLSKEW
| TASK__PV
| TASK
| TAGGED
| TABLE
| S_UNTIL_WITH
| S_UNTIL
| S_NEXTTIME
| S_EVENTUALLY
| S_ALWAYS
| SYSCALL of string
| SYNC_REJECT_ON
| SYNC_ACCEPT_ON
| SYMBOL_xX of string
| SYMBOL_rRfFpPnN of string
| SYMBOL_bB of string
| SUPPLY1
| SUPPLY0
| SUPER
| ST_WARNING
| ST_UNIT
| ST_ROOT
| ST_INFO
| ST_FATAL
| ST_ERROR
| STRUCT
| STRONG
| STRING_LITERAL of string
| STRING
| STRENGTH of Labels.Strength.t
| STMT of Ast.node
| STATIC__C
| STATIC
| STAR_STAR
| STAR_RPAREN
| STAR_GT
| STAR_EQ
| STAR
| SPECPARAM
| SPECIFY
| SOLVE
| SLASH_EQ
| SLASH
| SIGNED
| SHOWCANCELLED
| SHORTREAL
| SHORTINT
| SHARP_SHARP
| SHARP_MINUS_SHARP
| SHARP_EQ_SHARP
| SHARP
| SEQUENCE
| SEMICOLON
| SCALARED
| RPAREN
| RETURN
| RESTRICT
| REPEAT
| RELEASE
| REJECT_ON
| REG
| REF
| REAL_NUMBER of string
| REALTIME
| REAL
| RBRACKET
| RBRACE
| RANDSEQUENCE
| RANDCASE
| RANDC
| RAND
| QUESTION
| P_UNARY_ARITH
| P_TAGGED
| P_REDUCTION
| P_NEGATION
| PURE
| PULSESTYLE_ONEVENT
| PULSESTYLE_ONDETECT
| PROTECTED
| PROPERTY
| PROGRAM
| PRIORITY
| PRIMITIVE
| PP_UNDEF__IDENT of string
| PP_UNDEFINEALL
| PP_UNDEF
| PP_UNCONNECTED_DRIVE
| PP_TIMESCALE
| PP_SYS_INCLUDE of string
| PP_RESETALL
| PP_PRAGMA
| PP_NOUNCONNECTED_DRIVE
| PP_MACRO_NAME of string
| PP_MACRO_ID of string
| PP_MACRO_EXPR of string
| PP_MACRO_CONST_STR of string
| PP_MACRO_CONST_INT of string
| PP_MACRO_CONST of string
| PP_MACRO_APPL of string * string list
| PP_LINE
| PP_INCLUDE of string
| PP_IFNDEF
| PP_IFDEF
| PP_IDENTIFIER of string
| PP_ERROR
| PP_END_KEYWORDS
| PP_ENDIF
| PP_ENDCELLDEFINE
| PP_ELSIF
| PP_ELSE
| PP_DELAY_MODE_ZERO
| PP_DELAY_MODE_UNIT
| PP_DELAY_MODE_PATH
| PP_DELAY_MODE_DISTRIBUTED
| PP_DEFINE__IDENT__BODY of string * Macro.body
| PP_DEFAULT_TRIREG_STRENGTH
| PP_DEFAULT_NETTYPE
| PP_DEFAULT_DECAY_TIME
| PP_CONCAT
| PP_CELLDEFINE
| PP_BEGIN_KEYWORDS
| POSEDGE
| PORT of Ast.node
| PLUS_PLUS
| PLUS_EQ
| PLUS_COLON
| PLUS
| PIPE_PIPE
| PIPE_MINUS_GT
| PIPE_EQ_GT
| PIPE_EQ
| PIPE
| PERCENT_EQ
| PERCENT
| PATHPULSE_IDENTIFIER of string
| PARAMETER
| PACKED
| PACKAGE_IDENTIFIER of string
| PACKAGE
| OUTPUT
| OR
| NULL
| NOT
| NOSHOWCANCELLED
| NOR
| NEXTTIME
| NEW__P
| NEW
| NEGEDGE
| NB_ASSIGN_POSTFIX of string
| NAND
| MODULE_ITEM of Ast.node
| MODULE of Labels.ModuleSpec.t
| MODPORT
| MINUS_MINUS
| MINUS_GT_GT
| MINUS_GT
| MINUS_EQ
| MINUS_COLON
| MINUS
| MATCHES_
| MATCHES
| LT_MINUS_GT
| LT_LT_EQ
| LT_LT
| LT_EQ__IGN
| LT_EQ
| LT
| LPAREN__S
| LPAREN__IGN
| LPAREN_STAR
| LPAREN
| LONGINT
| LOGIC
| LOCAL__CC
| LOCALPARAM
| LOCAL
| LIBRARY
| LIBLIST
| LET
| LBRACKET_STAR
| LBRACKET_PLUS_RBRACKET
| LBRACKET_MINUS_GT
| LBRACKET_EQ
| LBRACKET
| LBRACE
| JOIN_
| JOIN of Labels.JoinSpec.t
| INTERSECT
| INTERFACE
| INTEGRAL_NUMBER of string
| INTEGER
| INT
| INSTANCE
| INSIDE_
| INSIDE
| INPUT
| INOUT
| INITIAL
| INCLUDE
| INCDIR
| IMPORT
| IMPLIES
| ILLEGAL_BINS
| IGNORE_BINS
| IFNONE
| IFF
| IF
| IDENTIFIER of string
| HAT_TILDE
| HAT_EQ
| HAT
| GT_GT_GT_EQ
| GT_GT_GT
| GT_GT_EQ
| GT_GT
| GT_EQ
| GT
| GLOBAL
| GENVAR
| GENERATE_ITEM of Ast.node
| GENERATE_
| GENERATE
| GATE of Labels.gate
| FUNCTION__PV
| FUNCTION
| FORK_
| FORKJOIN
| FORK
| FOREVER
| FOREACH
| FORCE
| FOR
| FIRST_MATCH
| FINAL
| EXTERN
| EXTENDS
| EXPR of Ast.node
| EXPORT
| EXPECT
| EXCLAM_EQ_QUESTION
| EXCLAM_EQ_EQ
| EXCLAM_EQ
| EXCLAM
| EVENTUALLY
| EVENT
| EQ_GT
| EQ_EQ_QUESTION
| EQ_EQ_EQ
| EQ_EQ
| EQ
| EOP
| EOL
| EOF
| ENUM
| END_
| ENDTASK
| ENDTABLE
| ENDSPECIFY
| ENDSEQUENCE
| ENDPROPERTY
| ENDPROGRAM
| ENDPRIMITIVE
| ENDPACKAGE
| ENDMODULE_
| ENDMODULE
| ENDINTERFACE
| ENDGROUP
| ENDGENERATE
| ENDFUNCTION
| ENDCONFIG
| ENDCLOCKING
| ENDCLASS
| ENDCHECKER
| ENDCASE
| END
| ELSE
| EDGE
| DOT_STAR
| DOT
| DOLLAR
| DO
| DIST
| DISABLE
| DESIGN
| DESCRIPTION of Ast.node
| DEFPARAM
| DEFAULT
| DEASSIGN
| CROSS
| COVERPOINT
| COVERGROUP_IDENTIFIER of string
| COVERGROUP
| COVER
| CONTINUE
| CONTEXT
| CONST__R
| CONSTRAINT
| CONST
| CONFIG
| COMMA__I
| COMMA
| COLON_SLASH
| COLON_EQ
| COLON_COLON
| COLON
| CLOCKING
| CLASS_IDENTIFIER of string
| CLASS
| CHECKER
| CHANDLE
| CELLPIN_ITEM of Ast.node
| CELL
| CASE_ITEM of Ast.node
| CASE_INSIDE_ITEM of Ast.node
| CASEZ
| CASEX
| CASE
| BYTE
| BUF
| BREAK
| BLOCK_ITEM_DECLARATION of Ast.node
| BIT
| BINSOF
| BINS
| BIND
| BEGIN_
| BEGIN
| BEFORE
| AUTOMATIC
| AT_AT
| AT
| ASSUME
| ASSIGN
| ASSERT
| AND
| AMP_EQ
| AMP_AMP_AMP
| AMP_AMP
| AMP
| ALWAYS of Labels.AlwaysSpec.t
| ALIAS
| ACCEPT_ON

Sourcemodule MenhirInterpreter = T.MenhirInterpreter