original_string: public static function mul(Vector $vector, $value) : Vector {
          $type = get_class($vector);
          $out  = new $type();
  
          $count = count($out);
          if ($value instanceof Vector === false) {
              $value = new $type(...array_fill(0, $count , $value));
          }
  
          for ($i=$count;$i-->0;) {
              $out[$i] = $vector[$i] * $value[$i];
          }
  
          return $out;
      }
code: public static function mul(Vector $vector, $value) : Vector {
          $type = get_class($vector);
          $out  = new $type();
  
          $count = count($out);
          if ($value instanceof Vector === false) {
              $value = new $type(...array_fill(0, $count , $value));
          }
  
          for ($i=$count;$i-->0;) {
              $out[$i] = $vector[$i] * $value[$i];
          }
  
          return $out;
      }
code_tokens: public static function mul ( Vector $ vector , $ value ) : Vector { $ type = get_class ( $ vector ) ; $ out = new $ type ( ) ; $ count = count ( $ out ) ; if ( $ value instanceof Vector === false ) { $ value = new $ type ( ... array_fill ( 0 , $ count , $ value ) ) ; } for ( $ i = $ count ; $ i -- > 0 ; ) { $ out [ $ i ] = $ vector [ $ i ] * $ value [ $ i ] ; } return $ out ; }
docstring: Vector multiplication.
  
  @param Vector $vector
  @param Vector|float $value
  @return Vector
docstring_tokens: Vector multiplication .