scratch/main> move.namespace old.name new.name
Renames the path of the old namespace to the desired new namespace. All the terms and sub-namespaces can be found under the new name.
scratch/main> move.namespace old.name new.name
Renames the path of the old namespace to the desired new namespace. All the terms and sub-namespaces can be found under the new name.