original_string: public function copy($folder, $from, $to = null)
      {
          $set = (int)$from;
          if ($to != null) {
              $set .= ':' . ($to == INF ? '*' : (int)$to);
          }
  
          return $this->requestAndResponse('COPY', array($set, $this->escapeString($folder)), true);
      }
code: public function copy($folder, $from, $to = null)
      {
          $set = (int)$from;
          if ($to != null) {
              $set .= ':' . ($to == INF ? '*' : (int)$to);
          }
  
          return $this->requestAndResponse('COPY', array($set, $this->escapeString($folder)), true);
      }
code_tokens: public function copy ( $ folder , $ from , $ to = null ) { $ set = ( int ) $ from ; if ( $ to != null ) { $ set .= ':' . ( $ to == INF ? '*' : ( int ) $ to ) ; } return $ this -> requestAndResponse ( 'COPY' , array ( $ set , $ this -> escapeString ( $ folder ) ) , true ) ; }
docstring: copy message set from current folder to other folder
  
  @param string   $folder destination folder
  @param int|null $to     if null only one message ($from) is fetched, else it's the
  last message, INF means last message avaible
  @return bool success
  @throws Zend_Mail_Protocol_Exception
docstring_tokens: copy message set from current folder to other folder