
:- use_package(assertions).

:- comment(filetype, part).

:- comment(title,"PART IV - The Ciao library (library)").

:- comment(module,"

   This documents the @concept{Ciao library}.  The modules in this
   library add significant functionality to the Ciao system, such as
   (active) objects, named argument positions in structures,
   constraints, locking, functions, parallel and distributed execution
   primitives, persistency, interfaces to databases, internet access,
   etc.

   @bf{Usage} 

   In order to be used in a given program file, these modules or
   libraries need to be loaded manually, as indicated in the
   corresponding usage and interface sections.

   ").

%% Note: the preprocessor can eventually put these in!

main.

% ----------------------------------------------------------------------------

:- comment(version_maintenance,dir('../../version')).

% ----------------------------------------------------------------------------
