def multiline(lineinfo, dedent):
    """ Returns one string for each line,
        properly dedented.
    """
    linenum = lineinfo[0].line
    for tok in lineinfo:
        while linenum < tok.line:
            yield ''
            linenum += 1
        yield (tok.col - dedent) * ' ' + tok.rstrip()
        linenum += 1
