Idris2Doc : cont

Package cont - Namespaces