code: def stop(name, file=sys.stderr):
      
      if is_enabled():
          elapsed = (time() - __TIMERS[name])
          if elapsed > 60:
              elapsed_str = '{:.1f} m'.format(elapsed / 60)
          elif elapsed > 1:
              elapsed_str = '{:.1f} s'.format(elapsed)
          else:
              elapsed_str = '{:.1f} ms'.format(elapsed * 1000)
  
          del __TIMERS[name]
          print("[prof]", name, elapsed_str, file=file)
      return is_enabled()
docs: Stop a profiling timer.
  
      Arguments:
  
          name (str): The name of the timer to stop. If no name is given, stop
              the global anonymous timer.
  
      Returns:
  
          bool: Whether or not profiling is enabled.
  
      Raises:
  
          KeyError: If the named timer does not exist.