Previous Up Next

2  Lexical aspects

Lists are coma-separated (,).

Identifiers are any strings starting with a letter, and containing only letters, digits and underscore symbol, excepting the following keywords:

and     constrain compare  cuts    cnf
del     dnf       else     exec    exist
false   forall    help     high    if
in      ite       implies  let     list
low     nor       not      or      print
quit    reed      restrict root    set
size    syntax    then     true    xor

The sequence // starts a comment, which ends at the next new-line. The sequence /* starts a comment, which ends at the next */ sequence.


Previous Up Next