def dump_binding(f, b, is_added=None):
    self._dump(('<tr><td>%s</td><td align="left"><i>S%s</i></td>%s<td align="left">%s</td><td align="left">%s</td></tr>' % (self._diff_plus_minus(is_added), b.stmt_id, ('<td align="left"><font color="%s"><i>%s</i></font></td>' % (('lavender' if self._dark_mode else 'darkgreen'), (('(%s)' % b.kind) if (b.kind is not None) else ' '))), self._short_pretty(b.pretty), f.bindings[b])))
def dump_binding(f, b, is_added=None):
    self._dump(('<tr><td>%s</td><td align="left"><i>S%s</i></td>%s<td align="left">%s</td><td align="left">%s</td></tr>' % (self._diff_plus_minus(is_added), b.stmt_id, ('<td align="left"><font color="%s"><i>%s</i></font></td>' % (('lavender' if self._dark_mode else 'darkgreen'), (('(%s)' % b.kind) if (b.kind is not None) else ' '))), self._short_pretty(b.pretty), f.bindings[b])))