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