Agda.TypeChecking.Pretty
type Doc
comma
empty
text
fsep
hsep
vcat
sep
(<>)
(<+>)
($$)
class PrettyTCM a
data PrettyContext