Idris.Docs
pprintDocs
getDocs
pprintConstDocs
pprintTypeDoc
type FunDoc
data FunDoc' d
type Docs
data Docs' d