title: how to define a proc in tcl namespace
body: <p>I saw some code in TCL like this:</p>
  
  <pre><code>namespace eval ::info {
      set count 0;
      set id 1;
      set role admin;
  
      namespace export *
  }
  
  
  
  proc ::info::setcount {
      set ::info::count 0;
  }
  
  proc ::info::setId {
      set ::info::id 1;
  }
  
  proc ::info::setRole {
      set ::info::role user;
  }
  </code></pre>
  
  <p>There are three variables defined in namespace ::info, but that three procs(setcount setId setRole) are not declared in the namespace, seems like they are defined outside of ::info, is this allowed? how does this work?</p>