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