The library consists of three modules, the syntactic check module, the semantic check module, and the object representation module for (de-)serialisation.
Contents:
