An exchange format
In addition, several modules implementing in ELAN useful data structures are provided in the ELAN library, such as modules defining parameterized lists, tuples and arrays. Other structures are more specific to the application domains, and the ELAN library provides modules to manipulate terms, substitutions, equational systems and to perform syntactic unification. This enumeration is not exhaustive and the library is continuously enriched by new modules written in ELAN.
A third level in the library is provided by functionalities related to the strategy language. The syntactic constructions of the strategy language which do not depend on the user specifications are described in an ELAN module of the library. Operations to dynamically create typed strategies are provided . This module dedicated to user-defined strategies has to be imported for using the full expressivity of the strategy language in ELAN programs.