(self)
| 1087 | |
| 1088 | class TestLambda: |
| 1089 | def test_lambda_single_var(self): |
| 1090 | x = Int("x") |
| 1091 | lam = Lambda(x, x + 1) |
| 1092 | assert isinstance(lam._ast, LambdaNode) |
| 1093 | assert lam._ast.name == "x" |
| 1094 | |
| 1095 | def test_lambda_multi_var(self): |
| 1096 | x, y = Ints("x y") |