Union case | Description |
Full Usage:
TOKEN_ABBREVIATIONS
|
|
Full Usage:
TOKEN_ABBRV
|
|
Full Usage:
TOKEN_ABRT
|
|
Full Usage:
TOKEN_ABS
|
|
Full Usage:
TOKEN_ABSREACTION
|
|
Full Usage:
TOKEN_ABSREACTIONS
|
|
Full Usage:
TOKEN_ACCEPTANCE
|
|
Full Usage:
TOKEN_ADD
|
|
Full Usage:
TOKEN_AIF
|
|
Full Usage:
TOKEN_ALSB
|
|
Full Usage:
TOKEN_ALWAYS
|
|
Full Usage:
TOKEN_AMODULE
|
|
Full Usage:
TOKEN_AMSB
|
|
Full Usage:
TOKEN_ANAME
|
|
Full Usage:
TOKEN_ANY
|
|
Full Usage:
TOKEN_APOS
|
|
Full Usage:
TOKEN_APPEND
|
|
Full Usage:
TOKEN_ARG
|
|
Full Usage:
TOKEN_ARRACC
|
|
Full Usage:
TOKEN_ARREXPR
|
|
Full Usage:
TOKEN_ARROFEXPRL
|
|
Full Usage:
TOKEN_ASIZE
|
|
Full Usage:
TOKEN_ASSERT
|
|
Full Usage:
TOKEN_ASSERTIONS
|
|
Full Usage:
TOKEN_ASSIGN
|
|
Full Usage:
TOKEN_ASSIGNDRV
|
|
Full Usage:
TOKEN_ASSIGNFLW
|
|
Full Usage:
TOKEN_ASSUME
|
|
Full Usage:
TOKEN_ASSUMPTIONS
|
|
Full Usage:
TOKEN_ASTORAGE
|
|
Full Usage:
TOKEN_ATASK
|
|
Full Usage:
TOKEN_ATIME
|
|
Full Usage:
TOKEN_ATOM
|
|
Full Usage:
TOKEN_ATYPE
|
|
Full Usage:
TOKEN_AVALUE
|
|
Full Usage:
TOKEN_AVERSION
|
|
Full Usage:
TOKEN_AWIDTH
|
|
Full Usage:
TOKEN_BASICNAME
|
|
Full Usage:
TOKEN_BOOLBITOFBTV
|
|
Full Usage:
TOKEN_BOOLCONJ
|
|
Full Usage:
TOKEN_BOOLCONST
|
|
Full Usage:
TOKEN_BOOLDISJ
|
|
Full Usage:
TOKEN_BOOLEQU
|
|
Full Usage:
TOKEN_BOOLEXPR
|
|
Full Usage:
TOKEN_BOOLIMPL
|
|
Full Usage:
TOKEN_BOOLNEG
|
|
Full Usage:
TOKEN_BOOLOFBTV
|
|
Full Usage:
TOKEN_BT
|
|
Full Usage:
TOKEN_BTVCONST
|
|
Full Usage:
TOKEN_BTVEQQ
|
|
Full Usage:
TOKEN_BTVEXPR
|
|
Full Usage:
TOKEN_BTVOFBOOL
|
|
Full Usage:
TOKEN_BTVOFBOOLARR
|
|
Full Usage:
TOKEN_BTVOFBOOLTUP
|
|
Full Usage:
TOKEN_BTVOFINT
|
|
Full Usage:
TOKEN_BTVOFNAT
|
|
Full Usage:
TOKEN_Bool
|
|
Full Usage:
TOKEN_CALL
|
|
Full Usage:
TOKEN_CASE
|
|
Full Usage:
TOKEN_COMPILECONTEXT
|
|
Full Usage:
TOKEN_CONCAT
|
|
Full Usage:
TOKEN_CONJ
|
|
Full Usage:
TOKEN_CONSTRAIN
|
|
Full Usage:
TOKEN_CONT
|
|
Full Usage:
TOKEN_CONTINUOUS
|
|
Full Usage:
TOKEN_CONTROLFLOW
|
|
Full Usage:
TOKEN_CONTROLLED
|
|
Full Usage:
TOKEN_COS
|
|
Full Usage:
TOKEN_DATAFLOW
|
|
Full Usage:
TOKEN_DEFAULT
|
|
Full Usage:
TOKEN_DEPTH
|
|
Full Usage:
TOKEN_DEPTHCALLS
|
|
Full Usage:
TOKEN_DERIV
|
|
Full Usage:
TOKEN_DERIVEDNAME
|
|
Full Usage:
TOKEN_DETERMAUTO
|
|
Full Usage:
TOKEN_DIM
|
|
Full Usage:
TOKEN_DISJ
|
|
Full Usage:
TOKEN_DISPROVEA
|
|
Full Usage:
TOKEN_DISPROVEE
|
|
Full Usage:
TOKEN_DIV
|
|
Full Usage:
TOKEN_DRIVERS
|
|
Full Usage:
TOKEN_DRV
|
|
Full Usage:
TOKEN_EOF
|
|
Full Usage:
TOKEN_EQU
|
|
Full Usage:
TOKEN_ET
|
|
Full Usage:
TOKEN_EVENT
|
|
Full Usage:
TOKEN_EVENTUAL
|
|
Full Usage:
TOKEN_EXISTS
|
|
Full Usage:
TOKEN_EXISTSAUTO
|
|
Full Usage:
TOKEN_EXP
|
|
Full Usage:
TOKEN_FAIRNESS
|
|
Full Usage:
TOKEN_FINITESTAR
|
|
Full Usage:
TOKEN_FIXEQUS
|
|
Full Usage:
TOKEN_FLW
|
|
Full Usage:
TOKEN_FORALL
|
|
Full Usage:
TOKEN_FORALLAUTO
|
|
Full Usage:
TOKEN_GENERICNAME
|
|
Full Usage:
TOKEN_IF
|
|
Full Usage:
TOKEN_IMPL
|
|
Full Usage:
TOKEN_INCARNATEDNAME
|
|
Full Usage:
TOKEN_INIT
|
|
Full Usage:
TOKEN_INITIAL
|
|
Full Usage:
TOKEN_INOUT
|
|
Full Usage:
TOKEN_INPUT
|
|
Full Usage:
TOKEN_INSD
|
|
Full Usage:
TOKEN_INST
|
|
Full Usage:
TOKEN_INSTANCEDNAME
|
|
Full Usage:
TOKEN_INTBINCONST
|
|
Full Usage:
TOKEN_INTCONST
|
|
Full Usage:
TOKEN_INTEQU
|
|
Full Usage:
TOKEN_INTERFACE
|
|
Full Usage:
TOKEN_INTEXPR
|
|
Full Usage:
TOKEN_INTLEQ
|
|
Full Usage:
TOKEN_INTLES
|
|
Full Usage:
TOKEN_INTOFBTV
|
|
Full Usage:
TOKEN_INTOFNAT
|
|
Full Usage:
TOKEN_INVAR
|
|
Full Usage:
TOKEN_ITE
|
|
Full Usage:
TOKEN_LABEL
|
|
Full Usage:
TOKEN_LHSEXPR
|
|
Full Usage:
TOKEN_LOCALS
|
|
Full Usage:
TOKEN_LOCVAR
|
|
Full Usage:
TOKEN_LOG
|
|
Full Usage:
TOKEN_MAIN
|
|
Full Usage:
TOKEN_MEMORIZED
|
|
Full Usage:
TOKEN_MOD
|
|
Full Usage:
TOKEN_MODULE
|
|
Full Usage:
TOKEN_MU
|
|
Full Usage:
TOKEN_MUL
|
|
Full Usage:
TOKEN_NATBINCONST
|
|
Full Usage:
TOKEN_NATCONST
|
|
Full Usage:
TOKEN_NATEQU
|
|
Full Usage:
TOKEN_NATEXPR
|
|
Full Usage:
TOKEN_NATLEQ
|
|
Full Usage:
TOKEN_NATLES
|
|
Full Usage:
TOKEN_NATOFBTV
|
|
Full Usage:
TOKEN_NEG
|
|
Full Usage:
TOKEN_NEXT
|
|
Full Usage:
TOKEN_NOW
|
|
Full Usage:
TOKEN_NU
|
|
Full Usage:
TOKEN_NXT
|
|
Full Usage:
TOKEN_Name
|
|
Full Usage:
TOKEN_Number
|
|
Full Usage:
TOKEN_OMEGASTAR
|
|
Full Usage:
TOKEN_ORACLE
|
|
Full Usage:
TOKEN_OUTPUT
|
|
Full Usage:
TOKEN_PACKAGEDNAME
|
|
Full Usage:
TOKEN_PASTALWAYS
|
|
Full Usage:
TOKEN_PASTEVENTUAL
|
|
Full Usage:
TOKEN_PASTSTRONGBEFORE
|
|
Full Usage:
TOKEN_PASTSTRONGNEXT
|
|
Full Usage:
TOKEN_PASTSTRONGUNTIL
|
|
Full Usage:
TOKEN_PASTSTRONGWHEN
|
|
Full Usage:
TOKEN_PASTWEAKBEFORE
|
|
Full Usage:
TOKEN_PASTWEAKNEXT
|
|
Full Usage:
TOKEN_PASTWEAKUNTIL
|
|
Full Usage:
TOKEN_PASTWEAKWHEN
|
|
Full Usage:
TOKEN_PRESENT
|
|
Full Usage:
TOKEN_PRMT
|
|
Full Usage:
TOKEN_PROVEA
|
|
Full Usage:
TOKEN_PROVEE
|
|
Full Usage:
TOKEN_QARR
|
|
Full Usage:
TOKEN_QBOOL
|
|
Full Usage:
TOKEN_QBTV
|
|
Full Usage:
TOKEN_QINT
|
|
Full Usage:
TOKEN_QNAT
|
|
Full Usage:
TOKEN_QREAL
|
|
Full Usage:
TOKEN_QTUP
|
|
Full Usage:
TOKEN_REALCONST
|
|
Full Usage:
TOKEN_REALEQU
|
|
Full Usage:
TOKEN_REALEXPR
|
|
Full Usage:
TOKEN_REALLEQ
|
|
Full Usage:
TOKEN_REALLES
|
|
Full Usage:
TOKEN_REALOFINT
|
|
Full Usage:
TOKEN_REALOFNAT
|
|
Full Usage:
TOKEN_RELEASE
|
|
Full Usage:
TOKEN_REPLICATE
|
|
Full Usage:
TOKEN_REVERSE
|
|
Full Usage:
TOKEN_RealNumber
|
|
Full Usage:
TOKEN_SAT
|
|
Full Usage:
TOKEN_SEGMENT
|
|
Full Usage:
TOKEN_SIGNADJUST
|
|
Full Usage:
TOKEN_SIN
|
|
Full Usage:
TOKEN_SPEC
|
|
Full Usage:
TOKEN_SPECIFICATIONS
|
|
Full Usage:
TOKEN_STATEVARS
|
|
Full Usage:
TOKEN_STRG
|
|
Full Usage:
TOKEN_STRONGBEFORE
|
|
Full Usage:
TOKEN_STRONGUNTIL
|
|
Full Usage:
TOKEN_STRONGWHEN
|
|
Full Usage:
TOKEN_STRT
|
|
Full Usage:
TOKEN_SUB
|
|
Full Usage:
TOKEN_SURFACE
|
|
Full Usage:
TOKEN_SURFACECALLS
|
|
Full Usage:
TOKEN_SUSP
|
|
Full Usage:
TOKEN_SYSTEM
|
|
Full Usage:
TOKEN_SYSTEMPART
|
|
Full Usage:
TOKEN_TERM
|
|
Full Usage:
TOKEN_TOKAX
|
|
Full Usage:
TOKEN_TOKAY
|
|
Full Usage:
TOKEN_TOKEX
|
|
Full Usage:
TOKEN_TOKEY
|
|
Full Usage:
TOKEN_TRANSEQ
|
|
Full Usage:
TOKEN_TRANSEQUATIONS
|
|
Full Usage:
TOKEN_TRANSFER
|
|
Full Usage:
TOKEN_TRANSFERS
|
|
Full Usage:
TOKEN_TRANSREL
|
|
Full Usage:
TOKEN_TUPACC
|
|
Full Usage:
TOKEN_TUPEQQ
|
|
Full Usage:
TOKEN_TUPEXPR
|
|
Full Usage:
TOKEN_TUPOFEXPRL
|
|
Full Usage:
TOKEN_TYPEMAPNAME
|
|
Full Usage:
TOKEN_VAR
|
|
Full Usage:
TOKEN_WEAKBEFORE
|
|
Full Usage:
TOKEN_WEAKUNTIL
|
|
Full Usage:
TOKEN_WEAKWHEN
|
|
Full Usage:
TOKEN_X
|
|
Full Usage:
TOKEN_XX
|
|
Full Usage:
TOKEN_ZEROADJUST
|
|
Full Usage:
TOKEN_end_of_input
|
|
Full Usage:
TOKEN_error
|
|