Averest


token Type

Union cases

Union case Description

ABBREVIATIONS

Full Usage: ABBREVIATIONS

ABBRV

Full Usage: ABBRV

ABRT

Full Usage: ABRT

ABS

Full Usage: ABS

ABSREACTION

Full Usage: ABSREACTION

ABSREACTIONS

Full Usage: ABSREACTIONS

ACCEPTANCE

Full Usage: ACCEPTANCE

ADD

Full Usage: ADD

AIF

Full Usage: AIF

ALSB

Full Usage: ALSB

ALWAYS

Full Usage: ALWAYS

AMODULE

Full Usage: AMODULE

AMSB

Full Usage: AMSB

ANAME

Full Usage: ANAME

ANY

Full Usage: ANY

APOS

Full Usage: APOS

APPEND

Full Usage: APPEND

ARG

Full Usage: ARG

ARRACC

Full Usage: ARRACC

ARREXPR

Full Usage: ARREXPR

ARROFEXPRL

Full Usage: ARROFEXPRL

ASIZE

Full Usage: ASIZE

ASSERT

Full Usage: ASSERT

ASSERTIONS

Full Usage: ASSERTIONS

ASSIGN

Full Usage: ASSIGN

ASSIGNDRV

Full Usage: ASSIGNDRV

ASSIGNFLW

Full Usage: ASSIGNFLW

ASSUME

Full Usage: ASSUME

ASSUMPTIONS

Full Usage: ASSUMPTIONS

ASTORAGE

Full Usage: ASTORAGE

ATASK

Full Usage: ATASK

ATIME

Full Usage: ATIME

ATOM

Full Usage: ATOM

ATYPE

Full Usage: ATYPE

AVALUE

Full Usage: AVALUE

AVERSION

Full Usage: AVERSION

AWIDTH

Full Usage: AWIDTH

BASICNAME

Full Usage: BASICNAME

BOOLBITOFBTV

Full Usage: BOOLBITOFBTV

BOOLCONJ

Full Usage: BOOLCONJ

BOOLCONST

Full Usage: BOOLCONST

BOOLDISJ

Full Usage: BOOLDISJ

BOOLEQU

Full Usage: BOOLEQU

BOOLEXPR

Full Usage: BOOLEXPR

BOOLIMPL

Full Usage: BOOLIMPL

BOOLNEG

Full Usage: BOOLNEG

BOOLOFBTV

Full Usage: BOOLOFBTV

BT

Full Usage: BT

BTVCONST

Full Usage: BTVCONST

BTVEQQ

Full Usage: BTVEQQ

BTVEXPR

Full Usage: BTVEXPR

BTVOFBOOL

Full Usage: BTVOFBOOL

BTVOFBOOLARR

Full Usage: BTVOFBOOLARR

BTVOFBOOLTUP

Full Usage: BTVOFBOOLTUP

BTVOFINT

Full Usage: BTVOFINT

BTVOFNAT

Full Usage: BTVOFNAT

Bool bool

Full Usage: Bool bool

Parameters:
    Item : bool

Item : bool

CALL

Full Usage: CALL

CASE

Full Usage: CASE

COMPILECONTEXT

Full Usage: COMPILECONTEXT

CONCAT

Full Usage: CONCAT

CONJ

Full Usage: CONJ

CONSTRAIN

Full Usage: CONSTRAIN

CONT

Full Usage: CONT

CONTINUOUS

Full Usage: CONTINUOUS

CONTROLFLOW

Full Usage: CONTROLFLOW

CONTROLLED

Full Usage: CONTROLLED

COS

Full Usage: COS

DATAFLOW

Full Usage: DATAFLOW

DEFAULT

Full Usage: DEFAULT

DEPTH

Full Usage: DEPTH

DEPTHCALLS

Full Usage: DEPTHCALLS

DERIV

Full Usage: DERIV

DERIVEDNAME

Full Usage: DERIVEDNAME

DETERMAUTO

Full Usage: DETERMAUTO

DIM

Full Usage: DIM

DISJ

Full Usage: DISJ

DISPROVEA

Full Usage: DISPROVEA

DISPROVEE

Full Usage: DISPROVEE

DIV

Full Usage: DIV

DRIVERS

Full Usage: DRIVERS

DRV

Full Usage: DRV

EOF

Full Usage: EOF

EQU

Full Usage: EQU

ET

Full Usage: ET

EVENT

Full Usage: EVENT

EVENTUAL

Full Usage: EVENTUAL

EXISTS

Full Usage: EXISTS

EXISTSAUTO

Full Usage: EXISTSAUTO

EXP

Full Usage: EXP

FAIRNESS

Full Usage: FAIRNESS

FINITESTAR

Full Usage: FINITESTAR

FIXEQUS

Full Usage: FIXEQUS

FLW

Full Usage: FLW

FORALL

Full Usage: FORALL

FORALLAUTO

Full Usage: FORALLAUTO

GENERICNAME

Full Usage: GENERICNAME

IF

Full Usage: IF

IMPL

Full Usage: IMPL

INCARNATEDNAME

Full Usage: INCARNATEDNAME

INIT

Full Usage: INIT

INITIAL

Full Usage: INITIAL

INOUT

Full Usage: INOUT

INPUT

Full Usage: INPUT

INSD

Full Usage: INSD

INST

Full Usage: INST

INSTANCEDNAME

Full Usage: INSTANCEDNAME

INTBINCONST

Full Usage: INTBINCONST

INTCONST

Full Usage: INTCONST

INTEQU

Full Usage: INTEQU

INTERFACE

Full Usage: INTERFACE

INTEXPR

Full Usage: INTEXPR

INTLEQ

Full Usage: INTLEQ

INTLES

Full Usage: INTLES

INTOFBTV

Full Usage: INTOFBTV

INTOFNAT

Full Usage: INTOFNAT

INVAR

Full Usage: INVAR

ITE

Full Usage: ITE

LABEL

Full Usage: LABEL

LHSEXPR

Full Usage: LHSEXPR

LOCALS

Full Usage: LOCALS

LOCVAR

Full Usage: LOCVAR

LOG

Full Usage: LOG

MAIN

Full Usage: MAIN

MEMORIZED

Full Usage: MEMORIZED

MOD

Full Usage: MOD

MODULE

Full Usage: MODULE

MU

Full Usage: MU

MUL

Full Usage: MUL

NATBINCONST

Full Usage: NATBINCONST

NATCONST

Full Usage: NATCONST

NATEQU

Full Usage: NATEQU

NATEXPR

Full Usage: NATEXPR

NATLEQ

Full Usage: NATLEQ

NATLES

Full Usage: NATLES

NATOFBTV

Full Usage: NATOFBTV

NEG

Full Usage: NEG

NEXT

Full Usage: NEXT

NOW

Full Usage: NOW

NU

Full Usage: NU

NXT

Full Usage: NXT

Name int

Full Usage: Name int

Parameters:
    Item : int

Item : int

Number bool list

Full Usage: Number bool list

Parameters:
    Item : bool list

Item : bool list

OMEGASTAR

Full Usage: OMEGASTAR

ORACLE

Full Usage: ORACLE

OUTPUT

Full Usage: OUTPUT

PACKAGEDNAME

Full Usage: PACKAGEDNAME

PASTALWAYS

Full Usage: PASTALWAYS

PASTEVENTUAL

Full Usage: PASTEVENTUAL

PASTSTRONGBEFORE

Full Usage: PASTSTRONGBEFORE

PASTSTRONGNEXT

Full Usage: PASTSTRONGNEXT

PASTSTRONGUNTIL

Full Usage: PASTSTRONGUNTIL

PASTSTRONGWHEN

Full Usage: PASTSTRONGWHEN

PASTWEAKBEFORE

Full Usage: PASTWEAKBEFORE

PASTWEAKNEXT

Full Usage: PASTWEAKNEXT

PASTWEAKUNTIL

Full Usage: PASTWEAKUNTIL

PASTWEAKWHEN

Full Usage: PASTWEAKWHEN

PRESENT

Full Usage: PRESENT

PRMT

Full Usage: PRMT

PROVEA

Full Usage: PROVEA

PROVEE

Full Usage: PROVEE

QARR

Full Usage: QARR

QBOOL

Full Usage: QBOOL

QBTV

Full Usage: QBTV

QINT

Full Usage: QINT

QNAT

Full Usage: QNAT

QREAL

Full Usage: QREAL

QTUP

Full Usage: QTUP

REALCONST

Full Usage: REALCONST

REALEQU

Full Usage: REALEQU

REALEXPR

Full Usage: REALEXPR

REALLEQ

Full Usage: REALLEQ

REALLES

Full Usage: REALLES

REALOFINT

Full Usage: REALOFINT

REALOFNAT

Full Usage: REALOFNAT

RELEASE

Full Usage: RELEASE

REPLICATE

Full Usage: REPLICATE

REVERSE

Full Usage: REVERSE

RealNumber float

Full Usage: RealNumber float

Parameters:
    Item : float

Item : float

SAT

Full Usage: SAT

SEGMENT

Full Usage: SEGMENT

SIGNADJUST

Full Usage: SIGNADJUST

SIN

Full Usage: SIN

SPEC

Full Usage: SPEC

SPECIFICATIONS

Full Usage: SPECIFICATIONS

STATEVARS

Full Usage: STATEVARS

STRG

Full Usage: STRG

STRONGBEFORE

Full Usage: STRONGBEFORE

STRONGUNTIL

Full Usage: STRONGUNTIL

STRONGWHEN

Full Usage: STRONGWHEN

STRT

Full Usage: STRT

SUB

Full Usage: SUB

SURFACE

Full Usage: SURFACE

SURFACECALLS

Full Usage: SURFACECALLS

SUSP

Full Usage: SUSP

SYSTEM

Full Usage: SYSTEM

SYSTEMPART

Full Usage: SYSTEMPART

TERM

Full Usage: TERM

TOKAX

Full Usage: TOKAX

TOKAY

Full Usage: TOKAY

TOKEX

Full Usage: TOKEX

TOKEY

Full Usage: TOKEY

TRANSEQ

Full Usage: TRANSEQ

TRANSEQUATIONS

Full Usage: TRANSEQUATIONS

TRANSFER

Full Usage: TRANSFER

TRANSFERS

Full Usage: TRANSFERS

TRANSREL

Full Usage: TRANSREL

TUPACC

Full Usage: TUPACC

TUPEQQ

Full Usage: TUPEQQ

TUPEXPR

Full Usage: TUPEXPR

TUPOFEXPRL

Full Usage: TUPOFEXPRL

TYPEMAPNAME

Full Usage: TYPEMAPNAME

VAR

Full Usage: VAR

WEAKBEFORE

Full Usage: WEAKBEFORE

WEAKUNTIL

Full Usage: WEAKUNTIL

WEAKWHEN

Full Usage: WEAKWHEN

X

Full Usage: X

XX

Full Usage: XX

ZEROADJUST

Full Usage: ZEROADJUST