Agda.TypeChecking.Pretty

Wrappers for pretty printing combinators

type Doc

The PrettyTCM class

class PrettyTCM a