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