Esempi in Python per Expr.Lambda

Esempio n. 1

 def visitLambda(self, elem):
     return C.Lambda(self(elem.head), self(elem.body))

Esempio n. 2

 def visitLambda(self, elem):
     s = elem.head.s
     return C.Lambda(elem.head, self(elem.body))