About

Here you will find the definition for the main concepts introduced in {comp} library.

Definitions