Header menu logo F# Header menu logo Averest

token Type

Union cases

Union case Description

ABORT

Full Usage: ABORT

ABS

Full Usage: ABS

ABSENT

Full Usage: ABSENT

ABSTRACT

Full Usage: ABSTRACT

ADD

Full Usage: ADD

AND

Full Usage: AND

ANY

Full Usage: ANY

APPEND

Full Usage: APPEND

ARR2BV

Full Usage: ARR2BV

ASSERT

Full Usage: ASSERT

ASSIGN

Full Usage: ASSIGN

ASSUME

Full Usage: ASSUME

ASYNCPARAND

Full Usage: ASYNCPARAND

ASYNCPAROR

Full Usage: ASYNCPAROR

AWAIT

Full Usage: AWAIT

AX

Full Usage: AX

AY

Full Usage: AY

BDEL1

Full Usage: BDEL1

BDEL2

Full Usage: BDEL2

BOOL

Full Usage: BOOL

BV

Full Usage: BV

BV2INT

Full Usage: BV2INT

BV2NAT

Full Usage: BV2NAT

BVCONST string

Full Usage: BVCONST string

Parameters:
    Item : string

Item : string

CASE

Full Usage: CASE

CHOOSE

Full Usage: CHOOSE

COLON

Full Usage: COLON

COMMA

Full Usage: COMMA

CONSTRAINE

Full Usage: CONSTRAINE

CONSTRAINM

Full Usage: CONSTRAINM

CONSTRAINME

Full Usage: CONSTRAINME

CONSTRAINS

Full Usage: CONSTRAINS

CONSTRAINSE

Full Usage: CONSTRAINSE

CONSTRAINSM

Full Usage: CONSTRAINSM

CONSTRAINSME

Full Usage: CONSTRAINSME

CONT

Full Usage: CONT

COS

Full Usage: COS

DDEL1

Full Usage: DDEL1

DDEL2

Full Usage: DDEL2

DEFAULT

Full Usage: DEFAULT

DEL1

Full Usage: DEL1

DEL2

Full Usage: DEL2

DISPROVEA

Full Usage: DISPROVEA

DISPROVEE

Full Usage: DISPROVEE

DIV

Full Usage: DIV

DO

Full Usage: DO

DRIVENBY

Full Usage: DRIVENBY

DRV

Full Usage: DRV

DURING

Full Usage: DURING

EACH

Full Usage: EACH

ELSE

Full Usage: ELSE

EMIT

Full Usage: EMIT

EOF

Full Usage: EOF

EQU

Full Usage: EQU

EQV

Full Usage: EQV

EVENT

Full Usage: EVENT

EVERY

Full Usage: EVERY

EX

Full Usage: EX

EXISTS

Full Usage: EXISTS

EXISTSPATH

Full Usage: EXISTSPATH

EXP

Full Usage: EXP

EY

Full Usage: EY

FALSE

Full Usage: FALSE

FALWAYS

Full Usage: FALWAYS

FEVENTUAL

Full Usage: FEVENTUAL

FINAL

Full Usage: FINAL

FIXPOINTS

Full Usage: FIXPOINTS

FLOW

Full Usage: FLOW

FLOWS

Full Usage: FLOWS

FNEXT

Full Usage: FNEXT

FOR

Full Usage: FOR

FORALL

Full Usage: FORALL

FORALLPATH

Full Usage: FORALLPATH

FSTRONGBEFORE

Full Usage: FSTRONGBEFORE

FSTRONGUNTIL

Full Usage: FSTRONGUNTIL

FSTRONGWHEN

Full Usage: FSTRONGWHEN

FWEAKBEFORE

Full Usage: FWEAKBEFORE

FWEAKUNTIL

Full Usage: FWEAKUNTIL

FWEAKWHEN

Full Usage: FWEAKWHEN

GEQ

Full Usage: GEQ

GRT

Full Usage: GRT

HALT

Full Usage: HALT

HEXCONST string

Full Usage: HEXCONST string

Parameters:
    Item : string

Item : string

HYBRID

Full Usage: HYBRID

ID string

Full Usage: ID string

Parameters:
    Item : string

Item : string

IF

Full Usage: IF

IMMED

Full Usage: IMMED

IMP

Full Usage: IMP

IMPORT

Full Usage: IMPORT

IN

Full Usage: IN

INOUT

Full Usage: INOUT

INPUT

Full Usage: INPUT

INSIDE

Full Usage: INSIDE

INSTANT

Full Usage: INSTANT

INT

Full Usage: INT

INT2BV

Full Usage: INT2BV

INT2REAL

Full Usage: INT2REAL

LEQ

Full Usage: LEQ

LES

Full Usage: LES

LET

Full Usage: LET

LOG

Full Usage: LOG

LOOP

Full Usage: LOOP

LPALWAYS

Full Usage: LPALWAYS

MACRO

Full Usage: MACRO

MEMORIZED

Full Usage: MEMORIZED

MOD

Full Usage: MOD

MODULE

Full Usage: MODULE

MU

Full Usage: MU

MUL

Full Usage: MUL

NAT

Full Usage: NAT

NAT2BV

Full Usage: NAT2BV

NAT2INT

Full Usage: NAT2INT

NAT2REAL

Full Usage: NAT2REAL

NATCONST string

Full Usage: NATCONST string

Parameters:
    Item : string

Item : string

NEQ

Full Usage: NEQ

NEXT

Full Usage: NEXT

NOT

Full Usage: NOT

NOTHING

Full Usage: NOTHING

NU

Full Usage: NU

OBSERVER

Full Usage: OBSERVER

OCTCONST string

Full Usage: OCTCONST string

Parameters:
    Item : string

Item : string

OR

Full Usage: OR

OUTPUT

Full Usage: OUTPUT

PACKAGE

Full Usage: PACKAGE

PALWAYS

Full Usage: PALWAYS

PAUSE

Full Usage: PAUSE

PEVENTUAL

Full Usage: PEVENTUAL

POINT

Full Usage: POINT

PRESENT

Full Usage: PRESENT

PROVEA

Full Usage: PROVEA

PROVEE

Full Usage: PROVEE

PSTRONGBEFORE

Full Usage: PSTRONGBEFORE

PSTRONGNEXT

Full Usage: PSTRONGNEXT

PSTRONGUNTIL

Full Usage: PSTRONGUNTIL

PSTRONGWHEN

Full Usage: PSTRONGWHEN

PWEAKBEFORE

Full Usage: PWEAKBEFORE

PWEAKNEXT

Full Usage: PWEAKNEXT

PWEAKUNTIL

Full Usage: PWEAKUNTIL

PWEAKWHEN

Full Usage: PWEAKWHEN

QUESTIONMARK

Full Usage: QUESTIONMARK

REAL

Full Usage: REAL

REALCONST string

Full Usage: REALCONST string

Parameters:
    Item : string

Item : string

REVERSE

Full Usage: REVERSE

SAT

Full Usage: SAT

SATISFIES

Full Usage: SATISFIES

SEMICOLON

Full Usage: SEMICOLON

SIN

Full Usage: SIN

SIZEOF

Full Usage: SIZEOF

SUB

Full Usage: SUB

SUM

Full Usage: SUM

SUSPEND

Full Usage: SUSPEND

SYNCPARAND

Full Usage: SYNCPARAND

SYNCPAROR

Full Usage: SYNCPAROR

SYSTEM

Full Usage: SYSTEM

TERMINATE

Full Usage: TERMINATE

TIME

Full Usage: TIME

TRUE

Full Usage: TRUE

TUP2BV

Full Usage: TUP2BV

TWOCOLON

Full Usage: TWOCOLON

TWOPOINTS

Full Usage: TWOPOINTS

UNDERSCORE

Full Usage: UNDERSCORE

UNTIL

Full Usage: UNTIL

WEAK

Full Usage: WEAK

WHEN

Full Usage: WHEN

WHILE

Full Usage: WHILE

WITH

Full Usage: WITH

XOR

Full Usage: XOR

Instance members

Instance member Description

this.IsABORT

Full Usage: this.IsABORT

Returns: bool
Returns: bool

this.IsABS

Full Usage: this.IsABS

Returns: bool
Returns: bool

this.IsABSENT

Full Usage: this.IsABSENT

Returns: bool
Returns: bool

this.IsABSTRACT

Full Usage: this.IsABSTRACT

Returns: bool
Returns: bool

this.IsADD

Full Usage: this.IsADD

Returns: bool
Returns: bool

this.IsAND

Full Usage: this.IsAND

Returns: bool
Returns: bool

this.IsANY

Full Usage: this.IsANY

Returns: bool
Returns: bool

this.IsAPPEND

Full Usage: this.IsAPPEND

Returns: bool
Returns: bool

this.IsARR2BV

Full Usage: this.IsARR2BV

Returns: bool
Returns: bool

this.IsASSERT

Full Usage: this.IsASSERT

Returns: bool
Returns: bool

this.IsASSIGN

Full Usage: this.IsASSIGN

Returns: bool
Returns: bool

this.IsASSUME

Full Usage: this.IsASSUME

Returns: bool
Returns: bool

this.IsASYNCPARAND

Full Usage: this.IsASYNCPARAND

Returns: bool
Returns: bool

this.IsASYNCPAROR

Full Usage: this.IsASYNCPAROR

Returns: bool
Returns: bool

this.IsAWAIT

Full Usage: this.IsAWAIT

Returns: bool
Returns: bool

this.IsAX

Full Usage: this.IsAX

Returns: bool
Returns: bool

this.IsAY

Full Usage: this.IsAY

Returns: bool
Returns: bool

this.IsBDEL1

Full Usage: this.IsBDEL1

Returns: bool
Returns: bool

this.IsBDEL2

Full Usage: this.IsBDEL2

Returns: bool
Returns: bool

this.IsBOOL

Full Usage: this.IsBOOL

Returns: bool
Returns: bool

this.IsBV

Full Usage: this.IsBV

Returns: bool
Returns: bool

this.IsBV2INT

Full Usage: this.IsBV2INT

Returns: bool
Returns: bool

this.IsBV2NAT

Full Usage: this.IsBV2NAT

Returns: bool
Returns: bool

this.IsBVCONST

Full Usage: this.IsBVCONST

Returns: bool
Returns: bool

this.IsCASE

Full Usage: this.IsCASE

Returns: bool
Returns: bool

this.IsCHOOSE

Full Usage: this.IsCHOOSE

Returns: bool
Returns: bool

this.IsCOLON

Full Usage: this.IsCOLON

Returns: bool
Returns: bool

this.IsCOMMA

Full Usage: this.IsCOMMA

Returns: bool
Returns: bool

this.IsCONSTRAINE

Full Usage: this.IsCONSTRAINE

Returns: bool
Returns: bool

this.IsCONSTRAINM

Full Usage: this.IsCONSTRAINM

Returns: bool
Returns: bool

this.IsCONSTRAINME

Full Usage: this.IsCONSTRAINME

Returns: bool
Returns: bool

this.IsCONSTRAINS

Full Usage: this.IsCONSTRAINS

Returns: bool
Returns: bool

this.IsCONSTRAINSE

Full Usage: this.IsCONSTRAINSE

Returns: bool
Returns: bool

this.IsCONSTRAINSM

Full Usage: this.IsCONSTRAINSM

Returns: bool
Returns: bool

this.IsCONSTRAINSME

Full Usage: this.IsCONSTRAINSME

Returns: bool
Returns: bool

this.IsCONT

Full Usage: this.IsCONT

Returns: bool
Returns: bool

this.IsCOS

Full Usage: this.IsCOS

Returns: bool
Returns: bool

this.IsDDEL1

Full Usage: this.IsDDEL1

Returns: bool
Returns: bool

this.IsDDEL2

Full Usage: this.IsDDEL2

Returns: bool
Returns: bool

this.IsDEFAULT

Full Usage: this.IsDEFAULT

Returns: bool
Returns: bool

this.IsDEL1

Full Usage: this.IsDEL1

Returns: bool
Returns: bool

this.IsDEL2

Full Usage: this.IsDEL2

Returns: bool
Returns: bool

this.IsDISPROVEA

Full Usage: this.IsDISPROVEA

Returns: bool
Returns: bool

this.IsDISPROVEE

Full Usage: this.IsDISPROVEE

Returns: bool
Returns: bool

this.IsDIV

Full Usage: this.IsDIV

Returns: bool
Returns: bool

this.IsDO

Full Usage: this.IsDO

Returns: bool
Returns: bool

this.IsDRIVENBY

Full Usage: this.IsDRIVENBY

Returns: bool
Returns: bool

this.IsDRV

Full Usage: this.IsDRV

Returns: bool
Returns: bool

this.IsDURING

Full Usage: this.IsDURING

Returns: bool
Returns: bool

this.IsEACH

Full Usage: this.IsEACH

Returns: bool
Returns: bool

this.IsELSE

Full Usage: this.IsELSE

Returns: bool
Returns: bool

this.IsEMIT

Full Usage: this.IsEMIT

Returns: bool
Returns: bool

this.IsEOF

Full Usage: this.IsEOF

Returns: bool
Returns: bool

this.IsEQU

Full Usage: this.IsEQU

Returns: bool
Returns: bool

this.IsEQV

Full Usage: this.IsEQV

Returns: bool
Returns: bool

this.IsEVENT

Full Usage: this.IsEVENT

Returns: bool
Returns: bool

this.IsEVERY

Full Usage: this.IsEVERY

Returns: bool
Returns: bool

this.IsEX

Full Usage: this.IsEX

Returns: bool
Returns: bool

this.IsEXISTS

Full Usage: this.IsEXISTS

Returns: bool
Returns: bool

this.IsEXISTSPATH

Full Usage: this.IsEXISTSPATH

Returns: bool
Returns: bool

this.IsEXP

Full Usage: this.IsEXP

Returns: bool
Returns: bool

this.IsEY

Full Usage: this.IsEY

Returns: bool
Returns: bool

this.IsFALSE

Full Usage: this.IsFALSE

Returns: bool
Returns: bool

this.IsFALWAYS

Full Usage: this.IsFALWAYS

Returns: bool
Returns: bool

this.IsFEVENTUAL

Full Usage: this.IsFEVENTUAL

Returns: bool
Returns: bool

this.IsFINAL

Full Usage: this.IsFINAL

Returns: bool
Returns: bool

this.IsFIXPOINTS

Full Usage: this.IsFIXPOINTS

Returns: bool
Returns: bool

this.IsFLOW

Full Usage: this.IsFLOW

Returns: bool
Returns: bool

this.IsFLOWS

Full Usage: this.IsFLOWS

Returns: bool
Returns: bool

this.IsFNEXT

Full Usage: this.IsFNEXT

Returns: bool
Returns: bool

this.IsFOR

Full Usage: this.IsFOR

Returns: bool
Returns: bool

this.IsFORALL

Full Usage: this.IsFORALL

Returns: bool
Returns: bool

this.IsFORALLPATH

Full Usage: this.IsFORALLPATH

Returns: bool
Returns: bool

this.IsFSTRONGBEFORE

Full Usage: this.IsFSTRONGBEFORE

Returns: bool
Returns: bool

this.IsFSTRONGUNTIL

Full Usage: this.IsFSTRONGUNTIL

Returns: bool
Returns: bool

this.IsFSTRONGWHEN

Full Usage: this.IsFSTRONGWHEN

Returns: bool
Returns: bool

this.IsFWEAKBEFORE

Full Usage: this.IsFWEAKBEFORE

Returns: bool
Returns: bool

this.IsFWEAKUNTIL

Full Usage: this.IsFWEAKUNTIL

Returns: bool
Returns: bool

this.IsFWEAKWHEN

Full Usage: this.IsFWEAKWHEN

Returns: bool
Returns: bool

this.IsGEQ

Full Usage: this.IsGEQ

Returns: bool
Returns: bool

this.IsGRT

Full Usage: this.IsGRT

Returns: bool
Returns: bool

this.IsHALT

Full Usage: this.IsHALT

Returns: bool
Returns: bool

this.IsHEXCONST

Full Usage: this.IsHEXCONST

Returns: bool
Returns: bool

this.IsHYBRID

Full Usage: this.IsHYBRID

Returns: bool
Returns: bool

this.IsID

Full Usage: this.IsID

Returns: bool
Returns: bool

this.IsIF

Full Usage: this.IsIF

Returns: bool
Returns: bool

this.IsIMMED

Full Usage: this.IsIMMED

Returns: bool
Returns: bool

this.IsIMP

Full Usage: this.IsIMP

Returns: bool
Returns: bool

this.IsIMPORT

Full Usage: this.IsIMPORT

Returns: bool
Returns: bool

this.IsIN

Full Usage: this.IsIN

Returns: bool
Returns: bool

this.IsINOUT

Full Usage: this.IsINOUT

Returns: bool
Returns: bool

this.IsINPUT

Full Usage: this.IsINPUT

Returns: bool
Returns: bool

this.IsINSIDE

Full Usage: this.IsINSIDE

Returns: bool
Returns: bool

this.IsINSTANT

Full Usage: this.IsINSTANT

Returns: bool
Returns: bool

this.IsINT

Full Usage: this.IsINT

Returns: bool
Returns: bool

this.IsINT2BV

Full Usage: this.IsINT2BV

Returns: bool
Returns: bool

this.IsINT2REAL

Full Usage: this.IsINT2REAL

Returns: bool
Returns: bool

this.IsLEQ

Full Usage: this.IsLEQ

Returns: bool
Returns: bool

this.IsLES

Full Usage: this.IsLES

Returns: bool
Returns: bool

this.IsLET

Full Usage: this.IsLET

Returns: bool
Returns: bool

this.IsLOG

Full Usage: this.IsLOG

Returns: bool
Returns: bool

this.IsLOOP

Full Usage: this.IsLOOP

Returns: bool
Returns: bool

this.IsLPALWAYS

Full Usage: this.IsLPALWAYS

Returns: bool
Returns: bool

this.IsMACRO

Full Usage: this.IsMACRO

Returns: bool
Returns: bool

this.IsMEMORIZED

Full Usage: this.IsMEMORIZED

Returns: bool
Returns: bool

this.IsMOD

Full Usage: this.IsMOD

Returns: bool
Returns: bool

this.IsMODULE

Full Usage: this.IsMODULE

Returns: bool
Returns: bool

this.IsMU

Full Usage: this.IsMU

Returns: bool
Returns: bool

this.IsMUL

Full Usage: this.IsMUL

Returns: bool
Returns: bool

this.IsNAT

Full Usage: this.IsNAT

Returns: bool
Returns: bool

this.IsNAT2BV

Full Usage: this.IsNAT2BV

Returns: bool
Returns: bool

this.IsNAT2INT

Full Usage: this.IsNAT2INT

Returns: bool
Returns: bool

this.IsNAT2REAL

Full Usage: this.IsNAT2REAL

Returns: bool
Returns: bool

this.IsNATCONST

Full Usage: this.IsNATCONST

Returns: bool
Returns: bool

this.IsNEQ

Full Usage: this.IsNEQ

Returns: bool
Returns: bool

this.IsNEXT

Full Usage: this.IsNEXT

Returns: bool
Returns: bool

this.IsNOT

Full Usage: this.IsNOT

Returns: bool
Returns: bool

this.IsNOTHING

Full Usage: this.IsNOTHING

Returns: bool
Returns: bool

this.IsNU

Full Usage: this.IsNU

Returns: bool
Returns: bool

this.IsOBSERVER

Full Usage: this.IsOBSERVER

Returns: bool
Returns: bool

this.IsOCTCONST

Full Usage: this.IsOCTCONST

Returns: bool
Returns: bool

this.IsOR

Full Usage: this.IsOR

Returns: bool
Returns: bool

this.IsOUTPUT

Full Usage: this.IsOUTPUT

Returns: bool
Returns: bool

this.IsPACKAGE

Full Usage: this.IsPACKAGE

Returns: bool
Returns: bool

this.IsPALWAYS

Full Usage: this.IsPALWAYS

Returns: bool
Returns: bool

this.IsPAUSE

Full Usage: this.IsPAUSE

Returns: bool
Returns: bool

this.IsPEVENTUAL

Full Usage: this.IsPEVENTUAL

Returns: bool
Returns: bool

this.IsPOINT

Full Usage: this.IsPOINT

Returns: bool
Returns: bool

this.IsPRESENT

Full Usage: this.IsPRESENT

Returns: bool
Returns: bool

this.IsPROVEA

Full Usage: this.IsPROVEA

Returns: bool
Returns: bool

this.IsPROVEE

Full Usage: this.IsPROVEE

Returns: bool
Returns: bool

this.IsPSTRONGBEFORE

Full Usage: this.IsPSTRONGBEFORE

Returns: bool
Returns: bool

this.IsPSTRONGNEXT

Full Usage: this.IsPSTRONGNEXT

Returns: bool
Returns: bool

this.IsPSTRONGUNTIL

Full Usage: this.IsPSTRONGUNTIL

Returns: bool
Returns: bool

this.IsPSTRONGWHEN

Full Usage: this.IsPSTRONGWHEN

Returns: bool
Returns: bool

this.IsPWEAKBEFORE

Full Usage: this.IsPWEAKBEFORE

Returns: bool
Returns: bool

this.IsPWEAKNEXT

Full Usage: this.IsPWEAKNEXT

Returns: bool
Returns: bool

this.IsPWEAKUNTIL

Full Usage: this.IsPWEAKUNTIL

Returns: bool
Returns: bool

this.IsPWEAKWHEN

Full Usage: this.IsPWEAKWHEN

Returns: bool
Returns: bool

this.IsQUESTIONMARK

Full Usage: this.IsQUESTIONMARK

Returns: bool
Returns: bool

this.IsREAL

Full Usage: this.IsREAL

Returns: bool
Returns: bool

this.IsREALCONST

Full Usage: this.IsREALCONST

Returns: bool
Returns: bool

this.IsREVERSE

Full Usage: this.IsREVERSE

Returns: bool
Returns: bool

this.IsSAT

Full Usage: this.IsSAT

Returns: bool
Returns: bool

this.IsSATISFIES

Full Usage: this.IsSATISFIES

Returns: bool
Returns: bool

this.IsSEMICOLON

Full Usage: this.IsSEMICOLON

Returns: bool
Returns: bool

this.IsSIN

Full Usage: this.IsSIN

Returns: bool
Returns: bool

this.IsSIZEOF

Full Usage: this.IsSIZEOF

Returns: bool
Returns: bool

this.IsSUB

Full Usage: this.IsSUB

Returns: bool
Returns: bool

this.IsSUM

Full Usage: this.IsSUM

Returns: bool
Returns: bool

this.IsSUSPEND

Full Usage: this.IsSUSPEND

Returns: bool
Returns: bool

this.IsSYNCPARAND

Full Usage: this.IsSYNCPARAND

Returns: bool
Returns: bool

this.IsSYNCPAROR

Full Usage: this.IsSYNCPAROR

Returns: bool
Returns: bool

this.IsSYSTEM

Full Usage: this.IsSYSTEM

Returns: bool
Returns: bool

this.IsTERMINATE

Full Usage: this.IsTERMINATE

Returns: bool
Returns: bool

this.IsTIME

Full Usage: this.IsTIME

Returns: bool
Returns: bool

this.IsTRUE

Full Usage: this.IsTRUE

Returns: bool
Returns: bool

this.IsTUP2BV

Full Usage: this.IsTUP2BV

Returns: bool
Returns: bool

this.IsTWOCOLON

Full Usage: this.IsTWOCOLON

Returns: bool
Returns: bool

this.IsTWOPOINTS

Full Usage: this.IsTWOPOINTS

Returns: bool
Returns: bool

this.IsUNDERSCORE

Full Usage: this.IsUNDERSCORE

Returns: bool
Returns: bool

this.IsUNTIL

Full Usage: this.IsUNTIL

Returns: bool
Returns: bool

this.IsWEAK

Full Usage: this.IsWEAK

Returns: bool
Returns: bool

this.IsWHEN

Full Usage: this.IsWHEN

Returns: bool
Returns: bool

this.IsWHILE

Full Usage: this.IsWHILE

Returns: bool
Returns: bool

this.IsWITH

Full Usage: this.IsWITH

Returns: bool
Returns: bool

this.IsXOR

Full Usage: this.IsXOR

Returns: bool
Returns: bool

Type something to start searching.