parameters: (file_path, prefix)
return_statement: return result
docstring: Remove a file path prefix from a give path.  leftover
      directory separators at the beginning of a file
      after the removal are also stripped.
  
      Example:
          '/remove/this/path/file.c'
      with a prefix of:
          '/remove/this/path'
      becomes:
          file.c
docstring_summary: Remove a file path prefix from a give path.  leftover
      directory separators at the beginning of a file
      after the removal are also stripped.
docstring_tokens: Remove a file path prefix from a give path . leftover directory separators at the beginning of a file after the removal are also stripped .
function: def remove_file_prefix(file_path, prefix):
      """
      Remove a file path prefix from a give path.  leftover
      directory separators at the beginning of a file
      after the removal are also stripped.
  
      Example:
          '/remove/this/path/file.c'
      with a prefix of:
          '/remove/this/path'
      becomes:
          file.c
      """
      result = None
      if file_path.startswith(prefix):
          result = file_path[len(prefix):]
          # Remove any leftover directory separators at the
          # beginning
          result = result.lstrip('\\/')
      else:
          result = file_path
      return result
function_tokens: def remove_file_prefix ( file_path , prefix ) : result = None if file_path . startswith ( prefix ) : result = file_path [ len ( prefix ) : ] # Remove any leftover directory separators at the # beginning result = result . lstrip ( '\\/' ) else : result = file_path return result