Idris.REPL.Browse
namespacesInNS
namesInNS