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