Idris.Docs

pprintDocs

getDocs

pprintConstDocs

data FunDoc

data Docs