Agda.TypeChecking.Pretty
type Doc
empty
comma
pretty
prettyA
text
pwords
fwords
sep
vcat
hsep
fsep
($$)
(<+>)
(<>)
nest
braces
dbraces
brackets
parens
prettyList
punctuate
class PrettyTCM a
data PrettyContext