This is the API documentation for [[https://github.com/gapt/gapt GAPT]].

The main package is [[gapt]].
