The Header

The ".xlia" file starts with a header. In it we precise the version of the XLIA language to be used.

For now, any of the following examples make no difference in the way the code is compiled/run :

"xfsp" may be found in some ".xlia" files. It is the former name of the xlia language. It stands for "eXtensible Formal SPecification".