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
prettyList
prettyList_
punctuate
class PrettyTCM a
data PrettyContext
prettyTCMPatternList
raisePatVars
raisePatVarsInType
data WithNode n a