parameters: (lines, start, end)
return_statement: return ''.join(result_lines)
docstring: Returns a substring in lines.
docstring_summary: Returns a substring in lines.
docstring_tokens: Returns a substring in lines .
function: def SubString(lines, start, end):
    """Returns a substring in lines."""
  
    if end == Eof():
      end = Cursor(len(lines) - 1, len(lines[-1]))
  
    if start >= end:
      return ''
  
    if start.line == end.line:
      return lines[start.line][start.column:end.column]
  
    result_lines = ([lines[start.line][start.column:]] +
                    lines[start.line + 1:end.line] +
                    [lines[end.line][:end.column]])
    return ''.join(result_lines)
function_tokens: def SubString ( lines , start , end ) : if end == Eof ( ) : end = Cursor ( len ( lines ) - 1 , len ( lines [ - 1 ] ) ) if start >= end : return '' if start . line == end . line : return lines [ start . line ] [ start . column : end . column ] result_lines = ( [ lines [ start . line ] [ start . column : ] ] + lines [ start . line + 1 : end . line ] + [ lines [ end . line ] [ : end . column ] ] ) return '' . join ( result_lines )