Module check
nar
Anything relevant to type-checking. Corresponds to Agda's Agda.TypeChecking.
Agda.TypeChecking
Type-checking monad.
Patterns.
Typ(e-check)ing rules.