Agda.TypeChecking.Pretty
type Doc
comma
colon
equals
pretty
prettyA
prettyAs
text
multiLineText
pwords
fwords
sep
fsep
hsep
hcat
vcat
hang
($$)
($+$)
(<>)
(<+>)
(<?>)
nest
braces
dbraces
brackets
parens
pshow
prettyList
prettyList_
punctuate
class PrettyTCM a
data PrettyContext
prettyTCMPatterns
prettyTCMPatternList
data WithNode n a