A - Keywords

The following list contains keywords that are reserved for current use by the Assert language. As such, they cannot be used as identifiers, including names of functions, variables, parameters:

• assert - assert
• dump- define a function or the function pointer type
• if - branch based on the result of a conditional expression
• else - fallback for if
• while - loop conditionally based on the result of an expression
• in - standard input (asslib)
• out - standard output (asslib)
• inv - define constant