Default definitions - system.alfa

When a new file is saved with the .alfa file extension, a supporting file called system.alfa is copied to the currently open project folder (unless it already exists there). The system.alfa file is used in all projects using ALFA.

This file contains declarations for the standard data types, functions, and algorithms from XACML. In most cases, this file should be included in your project. The System namespace that is declared in this file is always implicitly imported, so all the files' declarations are always available for use.

Axiomatics
The Visual Studio Code extension for ALFA was developed by Axiomatics.
FOLLOW US