Idris.Docs

pprintDocs

getDocs

pprintConstDocs

pprintTypeDoc

type FunDoc

data FunDoc' d

type Docs

data Docs' d