Idris2Doc : cptr

Package cptr - Namespaces