Type declarations

A type declaration is used to give a short name to a datatype and makes the type available in the language. The following example declares the standard string data type.

type string = "http://www.w3.org/2001/XMLSchema#string"

The system.alfa file contains declarations for all the standard data types in the XACML language, so in most cases there is no need for a user to declare any types.