Union case | Description |
Full Usage:
ABBREVIATIONS
|
|
Full Usage:
ABBRV
|
|
Full Usage:
ABRT
|
|
Full Usage:
ABS
|
|
Full Usage:
ABSREACTION
|
|
Full Usage:
ABSREACTIONS
|
|
Full Usage:
ACCEPTANCE
|
|
Full Usage:
ADD
|
|
Full Usage:
AIF
|
|
Full Usage:
ALSB
|
|
Full Usage:
ALWAYS
|
|
Full Usage:
AMODULE
|
|
Full Usage:
AMSB
|
|
Full Usage:
ANAME
|
|
Full Usage:
ANY
|
|
Full Usage:
APOS
|
|
Full Usage:
APPEND
|
|
Full Usage:
ARG
|
|
Full Usage:
ARRACC
|
|
Full Usage:
ARREXPR
|
|
Full Usage:
ARROFEXPRL
|
|
Full Usage:
ASIZE
|
|
Full Usage:
ASSERT
|
|
Full Usage:
ASSERTIONS
|
|
Full Usage:
ASSIGN
|
|
Full Usage:
ASSIGNDRV
|
|
Full Usage:
ASSIGNFLW
|
|
Full Usage:
ASSUME
|
|
Full Usage:
ASSUMPTIONS
|
|
Full Usage:
ASTORAGE
|
|
Full Usage:
ATASK
|
|
Full Usage:
ATIME
|
|
Full Usage:
ATOM
|
|
Full Usage:
ATYPE
|
|
Full Usage:
AVALUE
|
|
Full Usage:
AVERSION
|
|
Full Usage:
AWIDTH
|
|
Full Usage:
BASICNAME
|
|
Full Usage:
BOOLBITOFBTV
|
|
Full Usage:
BOOLCONJ
|
|
Full Usage:
BOOLCONST
|
|
Full Usage:
BOOLDISJ
|
|
Full Usage:
BOOLEQU
|
|
Full Usage:
BOOLEXPR
|
|
Full Usage:
BOOLIMPL
|
|
Full Usage:
BOOLNEG
|
|
Full Usage:
BOOLOFBTV
|
|
Full Usage:
BT
|
|
Full Usage:
BTVCONST
|
|
Full Usage:
BTVEQQ
|
|
Full Usage:
BTVEXPR
|
|
Full Usage:
BTVOFBOOL
|
|
Full Usage:
BTVOFBOOLARR
|
|
Full Usage:
BTVOFBOOLTUP
|
|
Full Usage:
BTVOFINT
|
|
Full Usage:
BTVOFNAT
|
|
Full Usage:
Bool bool
Parameters:
bool
|
|
Full Usage:
CALL
|
|
Full Usage:
CASE
|
|
Full Usage:
COMPILECONTEXT
|
|
Full Usage:
CONCAT
|
|
Full Usage:
CONJ
|
|
Full Usage:
CONSTRAIN
|
|
Full Usage:
CONT
|
|
Full Usage:
CONTINUOUS
|
|
Full Usage:
CONTROLFLOW
|
|
Full Usage:
CONTROLLED
|
|
Full Usage:
COS
|
|
Full Usage:
DATAFLOW
|
|
Full Usage:
DEFAULT
|
|
Full Usage:
DEPTH
|
|
Full Usage:
DEPTHCALLS
|
|
Full Usage:
DERIV
|
|
Full Usage:
DERIVEDNAME
|
|
Full Usage:
DETERMAUTO
|
|
Full Usage:
DIM
|
|
Full Usage:
DISJ
|
|
Full Usage:
DISPROVEA
|
|
Full Usage:
DISPROVEE
|
|
Full Usage:
DIV
|
|
Full Usage:
DRIVERS
|
|
Full Usage:
DRV
|
|
Full Usage:
EOF
|
|
Full Usage:
EQU
|
|
Full Usage:
ET
|
|
Full Usage:
EVENT
|
|
Full Usage:
EVENTUAL
|
|
Full Usage:
EXISTS
|
|
Full Usage:
EXISTSAUTO
|
|
Full Usage:
EXP
|
|
Full Usage:
FAIRNESS
|
|
Full Usage:
FINITESTAR
|
|
Full Usage:
FIXEQUS
|
|
Full Usage:
FLW
|
|
Full Usage:
FORALL
|
|
Full Usage:
FORALLAUTO
|
|
Full Usage:
GENERICNAME
|
|
Full Usage:
IF
|
|
Full Usage:
IMPL
|
|
Full Usage:
INCARNATEDNAME
|
|
Full Usage:
INIT
|
|
Full Usage:
INITIAL
|
|
Full Usage:
INOUT
|
|
Full Usage:
INPUT
|
|
Full Usage:
INSD
|
|
Full Usage:
INST
|
|
Full Usage:
INSTANCEDNAME
|
|
Full Usage:
INTBINCONST
|
|
Full Usage:
INTCONST
|
|
Full Usage:
INTEQU
|
|
Full Usage:
INTERFACE
|
|
Full Usage:
INTEXPR
|
|
Full Usage:
INTLEQ
|
|
Full Usage:
INTLES
|
|
Full Usage:
INTOFBTV
|
|
Full Usage:
INTOFNAT
|
|
Full Usage:
INVAR
|
|
Full Usage:
ITE
|
|
Full Usage:
LABEL
|
|
Full Usage:
LHSEXPR
|
|
Full Usage:
LOCALS
|
|
Full Usage:
LOCVAR
|
|
Full Usage:
LOG
|
|
Full Usage:
MAIN
|
|
Full Usage:
MEMORIZED
|
|
Full Usage:
MOD
|
|
Full Usage:
MODULE
|
|
Full Usage:
MU
|
|
Full Usage:
MUL
|
|
Full Usage:
NATBINCONST
|
|
Full Usage:
NATCONST
|
|
Full Usage:
NATEQU
|
|
Full Usage:
NATEXPR
|
|
Full Usage:
NATLEQ
|
|
Full Usage:
NATLES
|
|
Full Usage:
NATOFBTV
|
|
Full Usage:
NEG
|
|
Full Usage:
NEXT
|
|
Full Usage:
NOW
|
|
Full Usage:
NU
|
|
Full Usage:
NXT
|
|
Full Usage:
Name int
Parameters:
int
|
|
Full Usage:
Number bool list
Parameters:
bool list
|
|
Full Usage:
OMEGASTAR
|
|
Full Usage:
ORACLE
|
|
Full Usage:
OUTPUT
|
|
Full Usage:
PACKAGEDNAME
|
|
Full Usage:
PASTALWAYS
|
|
Full Usage:
PASTEVENTUAL
|
|
Full Usage:
PASTSTRONGBEFORE
|
|
Full Usage:
PASTSTRONGNEXT
|
|
Full Usage:
PASTSTRONGUNTIL
|
|
Full Usage:
PASTSTRONGWHEN
|
|
Full Usage:
PASTWEAKBEFORE
|
|
Full Usage:
PASTWEAKNEXT
|
|
Full Usage:
PASTWEAKUNTIL
|
|
Full Usage:
PASTWEAKWHEN
|
|
Full Usage:
PRESENT
|
|
Full Usage:
PRMT
|
|
Full Usage:
PROVEA
|
|
Full Usage:
PROVEE
|
|
Full Usage:
QARR
|
|
Full Usage:
QBOOL
|
|
Full Usage:
QBTV
|
|
Full Usage:
QINT
|
|
Full Usage:
QNAT
|
|
Full Usage:
QREAL
|
|
Full Usage:
QTUP
|
|
Full Usage:
REALCONST
|
|
Full Usage:
REALEQU
|
|
Full Usage:
REALEXPR
|
|
Full Usage:
REALLEQ
|
|
Full Usage:
REALLES
|
|
Full Usage:
REALOFINT
|
|
Full Usage:
REALOFNAT
|
|
Full Usage:
RELEASE
|
|
Full Usage:
REPLICATE
|
|
Full Usage:
REVERSE
|
|
Full Usage:
RealNumber float
Parameters:
float
|
|
Full Usage:
SAT
|
|
Full Usage:
SEGMENT
|
|
Full Usage:
SIGNADJUST
|
|
Full Usage:
SIN
|
|
Full Usage:
SPEC
|
|
Full Usage:
SPECIFICATIONS
|
|
Full Usage:
STATEVARS
|
|
Full Usage:
STRG
|
|
Full Usage:
STRONGBEFORE
|
|
Full Usage:
STRONGUNTIL
|
|
Full Usage:
STRONGWHEN
|
|
Full Usage:
STRT
|
|
Full Usage:
SUB
|
|
Full Usage:
SURFACE
|
|
Full Usage:
SURFACECALLS
|
|
Full Usage:
SUSP
|
|
Full Usage:
SYSTEM
|
|
Full Usage:
SYSTEMPART
|
|
Full Usage:
TERM
|
|
Full Usage:
TOKAX
|
|
Full Usage:
TOKAY
|
|
Full Usage:
TOKEX
|
|
Full Usage:
TOKEY
|
|
Full Usage:
TRANSEQ
|
|
Full Usage:
TRANSEQUATIONS
|
|
Full Usage:
TRANSFER
|
|
Full Usage:
TRANSFERS
|
|
Full Usage:
TRANSREL
|
|
Full Usage:
TUPACC
|
|
Full Usage:
TUPEQQ
|
|
Full Usage:
TUPEXPR
|
|
Full Usage:
TUPOFEXPRL
|
|
Full Usage:
TYPEMAPNAME
|
|
Full Usage:
VAR
|
|
Full Usage:
WEAKBEFORE
|
|
Full Usage:
WEAKUNTIL
|
|
Full Usage:
WEAKWHEN
|
|
Full Usage:
X
|
|
Full Usage:
XX
|
|
Full Usage:
ZEROADJUST
|
|