def pr_lambda(self, node, parameters, body):
rval = Span(Span("λ", class_ = 'lambda-chr'),
class_ = 'lambda')
rval.extend(Span(name, class_ = 'lambda-param')
for name in parameters)
rval.append(Span(".", class_ = 'lambda-sep'))
rval.append(Span(self.pr(body), class_ = 'lambda-body'))
return rval
