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