Documentation

Entry point: Termination check a single declaration.

The result of termination checking a module. Must be a Monoid and have Singleton.

Patterns with variables as de Bruijn indices.