Idris2Doc : bounded-doubles

Package bounded-doubles - Namespaces